[kernel] Parsing alloc_order.i (no preprocessing)
[kernel:annot-error] alloc_order.i:8: 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] Frama-C aborted: invalid user input.