predic object dm design dsgr model facad transit dm problem object tr dm object model facad trigger tr object sv model facad sourc tr model facad pseudost sv problem object model facad kind sv fork outgo transit critic model facad equal pseudost kind model pseudost kind fork problem trigger model facad model facad length trigger problem problem 