Code clean up
Assertions may only refer to input variables

Allowing assertions to refer to local and output variables caused
dependency analysis to be very complicated and expensive.