module fak

   graph class: DirectedGraph

   exports
      transformation unit fak

   realized by

      transformation unit fak
         initial:
         body:
            apply as long as possible ;
            apply as long as possible
         terminal:
      end
end.