Removed static ContextAssertion type and added the dynamic (i.e. known only at runtime) type