return satisfied;
} else {
Equality eq = (Equality) evaluated;
throw new IllegalStateException(String.format(
"Cannot check equality: %s = %s (%s %s), %s = %s ",
eq.lhs(), eq.rhs(), eq.lhs().getClass().getSimpleName(), eq.rhs().getClass().getSimpleName(), x.name(), expr));
}
} finally {
x.reset();
}
}