predic object dm design dsgr model facad transit dm problem object tr dm object model facad trigger tr object model facad guard tr object sv model facad sourc tr model facad pseudost sv problem object model facad kind sv model facad equal pseudost kind model pseudost kind fork problem trigger model facad model facad length trigger problem guard model facad express model facad bodi model facad express model facad bodi model facad express length guard problem problem 