Tuple2<K, Set<Sentence>> res = getLeafInitializer(term, m); return Tuple4.apply(res._2(), Lists.newArrayList(sort), res._1(), true); } else if (term instanceof KToken) { Tuple2<K, Set<Sentence>> res = getLeafInitializer(term, m); return Tuple4.apply(res._2(), Lists.newArrayList(ktoken.sort()), res._1(), true); } else if (term instanceof KSequence || term instanceof KVariable || term instanceof InjectedKLabel) { Tuple2<K, Set<Sentence>> res = getLeafInitializer(term, m); return Tuple4.apply(res._2(), Lists.newArrayList(Sorts.K()), res._1(), true); } else {