//TODO Complex Cast
@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);
}
@Override
public Boolean visit(CFieldReference pE) {
return !alreadyAssigned.contains(pE);
}