test bodi return instead test bodi set object script model facad script uninterpret action model data type helper set bodi script action state notat uml notat action state notat uml action state result notat action state notat set set bodi did equal result 