Adds more assertions