Adds some more basic assertions