Yices global lock in egraph final check

[Saloed]

It seems like there are no reasons to acquire yices global lock during egraph final_check.

yices2/src/solvers/egraph/egraph.c

Line 6326 in ecac3fd

MT_PROTECT(fcheck_code_t, __yices_globals.lock, _o_egraph_final_check(egraph));