adds some more asserts