Correct IDESlave protocol violations in prover
Merge pull request #1296 from david-christiansen/ide-prover

Correct IDESlave protocol violations in prover