module solitair

   graph class: DirectedGraph

   exports
      transformation unit go

   realized by

      transformation unit go
         initial:
            (template sol)
         body:
            apply as long as possible jump
         terminal:
      end
end.