predic object dm design dsgr model facad pseudost dm problem object model facad kind dm model facad equal pseudost kind model pseudost kind deep histori 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 collect peer model facad subvertic cs initi state count iter iter peer iter iter object sv iter model facad pseudost sv model facad equal pseudost kind model facad kind sv model pseudost kind deep histori initi state count initi state count problem problem 