test code predic code oper except goe wrong test predic except object obj model us case factori creat actor object obj model activ graph factori creat partit ocl context actor inv cr ocl cr cr ocl ocl equal cr predic obj design design critic problem equal cr predic obj design design critic problem 