import java from ConditionNode c select c, c.getAFalseSuccessor()