[IMP] Added assertions about the behavior of the test