generalisation to different henshin graphs like e.g. triple graphs