[kernel] Parsing tests/syntax/alloc_order.i (no preprocessing)
[kernel:annot-error] tests/syntax/alloc_order.i:3: Warning: 
  wrong order of clause in contract: requires after post-condition, assigns or allocates.
[kernel] User Error: warning annot-error treated as fatal error.
[kernel] User Error: stopping on file "tests/syntax/alloc_order.i" that has errors.
[kernel] Frama-C aborted: invalid user input.