protected void process(ConstructorCall n) {
    SetConditionsAbsVal scs = autil.constructorCall(n.constructorInstance(), n);
    Set<AbstractLocation> setConds = scs.setConditions();

    if (n.kind().equals(ConstructorCall.SUPER)) {
      SetConditionsAbsVal t = null;
      try {
        // Add in the results from all of the initializers
        for (SetConditionsAbsVal v :
            autil.analyzeInitializers(SetConditionsAbsVal.EMPTY).allItems()) {
          t = (t == null) ? v : t.upperBound(v);
        }
      } catch (SemanticException e) {
        throw new InternalCompilerError(e);
      }

      if (!t.setConditions().isEmpty()) {
        setConds = new LinkedHashSet<AbstractLocation>();
        setConds.addAll(scs.setConditions());
        setConds.addAll(t.setConditions());
      }
    }

    this.setConds.addAll(setConds);

    CEProcedureCallExt ext = (CEProcedureCallExt) CEExt_c.ext(n);
    ext.recordSetConditionsResults(this.autil.currentContext(), setConds);
  }
  @Override
  public Node leave(Node old, Node n, NodeVisitor v) {
    if (CEExt_c.ext(n).isConditionSet()) {
      // it's a set condition!
      Call c = (Call) n;
      if (c.target() instanceof Local) {
        // ignore local conditions, we're only interested in fields
      } else if (c.target() instanceof Field) {
        Field f = (Field) c.target();
        this.setConds.addAll(autil.abstractLocations(f));
      } else {
        throw new InternalCompilerError("Can't handle " + n);
      }
    }

    if (n instanceof Call) {
      process((Call) n);
    } else if (n instanceof New) {
      process((New) n);
    } else if (n instanceof ConstructorCall) {
      process((ConstructorCall) n);
    }

    return n;
  }
 protected void process(Call n) {
   CEProcedureCallExt ext = (CEProcedureCallExt) CEExt_c.ext(n);
   MethodInstance mi = n.methodInstance();
   SetConditionsAbsVal scs = autil.call(mi, n);
   this.setConds.addAll(scs.setConditions());
   ext.recordSetConditionsResults(this.autil.currentContext(), scs.setConditions());
 }
 protected void process(New n) {
   SetConditionsAbsVal scs = autil.call(n.constructorInstance(), n);
   this.setConds.addAll(scs.setConditions());
   CEProcedureCallExt ext = (CEProcedureCallExt) CEExt_c.ext(n);
   ext.recordSetConditionsResults(this.autil.currentContext(), scs.setConditions());
 }