- contract-check-level n ..parameter
no contract checks if n is -1 only precondition checks if n is 0, the default pre- and postcondition checks if n is +1
no contract checks if n is -1 only precondition checks if n is 0, the default pre- and postcondition checks if n is +1