// Regression test for ODASA-4753 and ODASA-4762.
import cpp

from ControlFlowNode x
select x, x.getAFalseSuccessor()