test unnam unnam oper correct test gener oper set model core helper set oper state notat uml notat state notat uml state notat str notat state notat set set equal notat correctli gener notat str 