A few more statement asserts