// private Fact makeSubclassFact(Constant t1, Constant t2) {
// return new Fact(DependencySet.INDEPENDENT, PRED_SUB, t1, t2);
// }
private Fact makeSubOfSomeFact(ATermAppl t1, ATermAppl t2, ATermAppl t3) {
return new Fact(DependencySet.INDEPENDENT, PRED_SUB_SOME, t1, t2, t3);
}