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