using refutation table

to avoid LMR/LMP on possible refutation moves