load formed rule set critic critic hash set critic critic add cr assoc conflict critic add cr attr conflict critic add cr circular assoc critic add cr circular inherit critic add cr critic add cr cross namespac assoc critic add cr dup param critic add cr dup role name critic add cr confus critic add cr invalid histori critic add cr invalid synch critic add cr invalid join trigger guard critic add cr invalid pseudo state trigger critic add cr invalid initi critic add cr invalid join critic add cr invalid fork critic add cr invalid branch critic add cr multipl deep histori state critic add cr multipl shallow histori state critic add cr fork outgo transit critic add cr join incom transit critic add cr subclass critic add cr illeg gener critic add cr critic add cr oper critic add cr multipl agg critic add cr wai agg critic add cr conflict ac critic add cr opp end conflict critic add cr multi composit critic add cr conflict critic add cr opp end vs attr miss wf rs associ critic add cr ocl context associ inv self connect ar self featur ocl kind structur featur impli ar name associ end structur featur overlap item high prioriti http www uml invalid ocl except print stack trace critic add cr ocl context associ inv self connect ar ar particip self associ defin item high prioriti http www uml invalid ocl except print stack trace behavior featur work bug namespac content prevent work type paramet come profil agenc regist cr ocl context behavior featur inv self paramet self owner namespac content includ type type paramet includ namespac classifi item high prioriti http www uml invalid ocl except print stack trace classfier critic add cr ocl context classifi inv self opposit associ end self attribut union self content collect includ opposit associ end attribut model element contain classifi item high prioriti http www uml invalid ocl except print stack trace data type critic add cr ocl context data type inv self featur ocl kind oper ocl type oper queri data type contain oper queri item high prioriti http www uml invalid ocl except print stack trace generaliz element critic add cr ocl context generaliz element inv self root impli self gener root gener item high prioriti http www uml invalid ocl except print stack trace critic add cr ocl context generaliz element inv self gener self namespac content includ parent parent includ namespac generaliz element item high prioriti http www uml invalid ocl except print stack trace namespac critic add cr ocl context namespac inv self content select ocl kind associ connect particip connect particip impli associ uniqu combin associ classifi namespac item high prioriti http www uml invalid ocl except print stack trace set critic critic 