<BUG>SNode parent = type;SNode child = var;SNode source = myState.getNodeMaps().getNode(child);myState.executeOperation(new EquationAddedOperation(child, parent, source, info));</BUG><CONTEXT>return false;}return TypesUtil.match(left, right, this, info, false);}private void processEquation(SNode var, SNode type, EquationInfo info) {<extra_id_0>}</CONTEXT>
SNode source = myState.getNodeMaps().getNode(var);myState.executeOperation(new EquationAddedOperation(var, type, source, info));