logic function call in rhs of relation chain causes abort (#902) · Issues · pub / frama-c