test chang oper pars except failur test chang oper pars except state notat uml notat state notat uml state model core helper set set notat pars state state oper object entri model facad entri state entri action gener entri object op model facad oper entri oper link entri action op model facad op equal oper incorrect oper notat str notat state notat set set equal notat correctli gener oper notat str 