[Eva] Float interval: removes function is_pos_infinity and is_neg_infinity.

In eval_terms, uses the forward comparison with positive and negative infinity
to replace these functions.