Evaluator      evaluator, BetaLeftMemory childMemory) { this.extractor = extractor; this.declaration = declaration; this.innerMemory = childMemory; this.memoryMap = new HashMap(); this.memoryMasterList = new MultiLinkedList();
Evaluator      evaluator) { this(extractor, declaration, evaluator, null);
    public ObjectNotEqualConstrLeftMemory(FieldExtractor extractor,                                        Declaration    declaration,                                        Evaluator      evaluator,                                        BetaLeftMemory childMemory) {        this.extractor = extractor;        this.declaration = declaration;        this.innerMemory = childMemory;        this.memoryMap = new HashMap();        this.memoryMasterList = new MultiLinkedList();    }