[kernel] Parsing share/libc/__fc_builtin_for_normalization.i (no preprocessing)
[kernel] Parsing tests/pretty_printing/parenthesis.c (with preprocessing)
/* Generated by Frama-C */
/*@
predicate implies(ℤ x, ℤ y) =
  (x ≡ 0 ⇒ y ≡ 0) ⇒ x ≡ 1 ⇒ y ≡ 1;
 */

