@Override
public String toString() {
String res = "";
boolean first = true;
for (final ApplicationTerm t : predicates) {
if (!first) {
res += " && ";
}
res += t.toString();
first = false;
}
for (final Term t : transitions) {
if (!first) {
res += " && ";
}
res += t.toStringDirect();
first = false;
}
return '(' + res + ')';
}
