update of example to new version of HenshinTGG