public Map<HornClausePredicateSymbol, ArrayList<TermVariable>> getPredicateToVars(
Map<String, HornClausePredicateSymbol> predicateSymbols) {
final HashMap<HornClausePredicateSymbol, ArrayList<TermVariable>> res = new HashMap<>();
for (final ApplicationTerm predicate : predicates) {
final ArrayList<TermVariable> vars = new ArrayList<TermVariable>();
for (final Term par : predicate.getParameters()) {
vars.add((TermVariable) par);
}
res.put(getHornPredicateSymbol(predicate.getFunction(), predicateSymbols), vars);
}
return res;
}
