test creat modelel given notat gener notat check equal test usefull fail white space differ todo white space best ignor test round trip check gener round trip state trigger guard effect check gener round trip state trigger effect check gener round trip state trigger guard check gener round trip state guard effect check gener round trip state effect check gener round trip state trigger check gener round trip state guard check gener round trip state check gener round trip state check gener round trip state effect check gener round trip state trigger guard eff eff eff 