Dump SUBPROOF-TERMINATING-AT.