import python from ControlFlowNode f where f.getATrueSuccessor() = f.getAFalseSuccessor() select f.toString()