Version 0.1
Base for converting henshin inter-profile transformations to ATL
The state as submitted in the phd thesis