private boolean orderGuaranteed(boolean secondReachesFirst, CFGNode n1, Branch br2) { return orderGuaranteed(secondReachesFirst, n1, br2.getSrc()) && orderGuaranteed(secondReachesFirst, n1, br2.getTgt()); }