void SetupProcess()
{
if (Process != null) return;
var psi = ComputeProcessStartInfo();
Process = new SMTLibProcess(psi, this.options);
Process.ErrorHandler += this.HandleProverError;
}
void PossiblyRestart()
{
if (Process != null && Process.NeedsRestart) {
Process.Close();
Process = null;
SetupProcess();
Process.Send(common.ToString());
}
}
