Refine asserts