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