Trace and report original source of proofs/counterexamples