Fixed bug where the prover gets killed while fault localization is still
running.