Simplify some asserts