predic object dm design dsgr problem problem model facad generaliz element dm model core helper children dm illeg state except ex problem problem defin log lp log granular type statement lp log local nest statement lp log local nest ifdef cognit log info problem endif problem 