[kernel] Parsing share/libc/__fc_builtin_for_normalization.i (no preprocessing)
[kernel] Parsing tests/spec/transitive_rel.c (with preprocessing)
tests/spec/transitive_rel.c:16:[kernel] warning: Inconsistent relation chain.
/* Generated by Frama-C */
/*@ predicate bound(int x, int y, int z) = x ≤ y < z ∧ z ≥ y > x;
 */
/*@ predicate bound2(int x, int y, int z) = x ≤ y ≡ z;
 */
/*@ predicate test(int x, int y, 𝔹 z) = (x≤y) ≡ z;
 */

