Assumptions must not be eliminated and they must be var-updated

So assumptions have been broken all along. Testing is needed for this
functionality
Give a text warning before assert fail