public RecursivePropagate() { //this.Changed = new Queue<Term>(); this.Changed = new TermList(); dp.Changed = this.Changed; up.Changed = this.Changed; }