Problem when arguments are not used in predicates (#791) · Issues · pub / frama-c