Add more asserts to testcase