subprover: add debugging facility