import cpp from StackVariable v, ControlFlowNode def, Expr e where exprDefinition(v, def, e) select v, def, e