Try to fix potential race between SimpleSMTLIBSolver.CreateNewProcess() and SimpleSMTLIBSolver.Dispose()
Try to fix potential race between SimpleSMTLIBSolver.CreateNewProcess()
and SimpleSMTLIBSolver.Dispose()

symbooglix/symbooglix,symbooglix/symbooglix,symbooglix/symbooglix