overrid predic object dm design dsgr model facad pseudost dm problem object model facad kind dm model facad equal pseudost kind model pseudost kind initi problem contain state composit state object cs model facad contain dm cs defin log lp log granular type statement lp log local nest statement lp log local nest ifdef cognit log debug parent state endif problem initi state count collect peer model facad subvertic cs object sv peer model facad pseudost sv model facad equal pseudost kind model facad kind sv model pseudost kind initi initi state count initi state count problem problem 