add test case assertion