added getNewTrpByCond() series; Error: false positive at testcase5; TODO: change meet function to exit when contradict from all successors