Checking preconditions and postconditions