Fix parameter assertions to give explict reasons