Function init_context 

pub(crate) fn init_context(
    global_args: &GlobalArgs,
    essence_file: PathBuf,
    param_file: Option<PathBuf>,
) -> Result<Arc<RwLock<Context<'static>>>>

Returns a new Context and Solver for solving.