Predicate/Functions depending only on a state are not handled correctly (#1696) · Issues · pub / frama-c