[kernel] Parsing share/libc/__fc_builtin_for_normalization.i (no preprocessing)
[kernel] Parsing tests/spec/logic_compare.c (with preprocessing)
/* Generated by Frama-C */
/*@
axiomatic Foo {
  type foo;
  
  predicate test(foo x) ;
  
  axiom foo_eq_refl: ∀ foo x; x ≡ x;
  
  axiom foo_test: ∀ foo x; test(x);
  
  }
 */

