Correct IDESlave protocol violations in prover