non-predicate on right-hand size of "|" causes segmentation fault (#864) · Issues · pub / frama-c