henshinTGG - refined constraints for model synchronisation