test notat provid refus instanti show right uml element test valid object check state bodi notat uml fail notat provid did wrong uml element illeg argument except fine 