# Current knowledge about variables types
readable writable attr _control_flow_ctx: ControlFlowContext
meth check_is_set(n: PNode, v: Variable)
do
# Current knowledge about variables types
readable writable attr _control_flow_ctx: ControlFlowContext
meth check_is_set(n: PNode, v: Variable)
do