variable in then-part of "?:" in ACSL clause causes syntax error (#875) · Issues · pub / frama-c