test name correct test gener set state notat uml notat state notat uml state notat str notat state notat set set equal notat correctli gener oper notat str 