Experimental header to split preconditions and postconditions from the class functions.