@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 + ')'; }