qvt transform abstracted from alloy
engine abstracted at qvt
qvt engine abstracted