Implementing dufat language transformation