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