[Eva] Eval_terms: eval_predicate handles evaluation errors at only one point.

Avoids catching the exception in each case of the pattern matching,
and simplifies the implementation.