axiomatic_nested.i

/* run.config*
 EXIT: 1
   STDOPT:
*/
/*@
  axiomatic bla1 {
    // nested axiomatics are not allowed
    axiomatic bla2 {
      predicate bla3{L}(int n);
    }
  }
 */