expression "term!=term" is considered always a predicate, rather than (in some contexts) a term (#574) · Issues · pub / frama-c