Added dedicated test for assertion context creation