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