@Override
    public Boolean visit(CFieldReference pE) {
      return !alreadyAssigned.contains(pE);
    }
@Override
    public Boolean visit(CFieldReference pE) {
      return !alreadyAssigned.contains(pE);
    }
@override public boolean visit(cfieldreference pe) { return !alreadyassigned.contains(pe); }