[kernel] Parsing share/libc/__fc_builtin_for_normalization.i (no preprocessing)
[kernel] Parsing tests/spec/bool.c (with preprocessing)
/* Generated by Frama-C */
/*@ logic 𝔹 f(int x) = x≡0;
 */
/*@ predicate f_pred(int x, int y) = f(x) ≡ \true ∧ f(y) ≡ \true;
 */
/*@ predicate foo(𝔹 x, 𝔹 y) = x ≡ \false ∨ y ≡ \true;
 */

