Anonymous

					if (resolv[0].size() == 0) {						//System.out.println("Empty Resolvent!!");						Substitution sum=new Substitution();						while (subs.size() != 0) {							Substitution curr=(Substitution)subs.pop();							System.out.println(curr.toString());							sum=curr.applySubst(sum);						}						sub[0]=sum;						System.out.println("Returning: "+sum);						return true;					}