different error messages for "0<x" and "0<x<9" when x is of class type (#872) · Issues · pub / frama-c