HenshinTGG: made some function public API