Validation fails when predicate is used with implicit type conversion. (#508) · Issues · pub / frama-c