made disprover user interruptible