[kernel] Parsing share/libc/__fc_builtin_for_normalization.i (no preprocessing)
[kernel] Parsing tests/spec/precedence.i (no preprocessing)
/* Generated by Frama-C */
int x[10];
/*@ lemma prio_unary_plus: (3-2)+2 ≡ 3;
 */
/*@ lemma prio_unary_minus: (3--2)-2 ≡ 3;
 */
/*@ lemma prio_unary_amp{L}: ((&x[1]-(int *)x)&(&x[2]-&x[2])) ≡ 0;
 */
/*@ lemma prio_unary_star{L}: (0*x[2])*x[2] ≡ 0;
 */

