Type Alias ContextErrorOf 

pub type ContextErrorOf<M> = <ContextOf<M> as ModelCheckerContext>::CreationError;

Error that can occur while creating the context of the model checker M