added tests for Assertion class