predicate definitions should be of type prop (#540) · Issues · pub / frama-c