refine asserts