Implement direct value assertion
Add param-passing assertions