[Eva] Eval_terms: keeps track of empty sets in the evaluation of logical terms.

New boolean [empty] field in the eval_result record. It is set to [true] if a
result may represent an empty set.