import cpp from StackVariable v, ControlFlowNode d where definition(v, d) select v, d