pub type ContextOf<M> = <M as ModelChecker>::ModelCheckerContext;
The context type used by the model checker M
M