add assertRaisesAssertion and counter examples