Resolution_prover loading ...