import Examples.Queue

import Examples.Giralf.Id
import Examples.Giralf.InsertionSort
import Examples.Giralf.Reverse

import Examples.Giralf.Inference