outputs info about the contract assert
beginning for the assertions. does the first file correctly