Fold for IGeneralTree
rename returned, fixed refactoring and compilation
fixed create super state transitions