ambiguity with consecutive comparison and ternary expressions (#575) · Issues · pub / frama-c