inductive clause seems not to pass jessie translation (#1951) · Issues · pub / frama-c