Problem with is_finite predicate generated by -val (#1621) · Issues · pub / frama-c