{"ast_node_type":"variable","tokens":[{"end":57,"kind":"keyword","start":0,"text":"if"}]}
            if let Some(prev_info) = binders.get(&name) {
            // There are 3 possibilities:
                // 1. The meta-variable is already bound in the current LHS: This is an error.