pub(crate) fn init_context( global_args: &GlobalArgs, input_file: PathBuf, ) -> Result<Arc<RwLock<Context<'static>>>>
Returns a new Context and Solver for solving.