predic object dm design dsgr model facad classifi dm problem list set reach list set dm reachabl gen composit class instanc reach contain dm problem problem 