Improvements to parameter assertions