Artifacts of The Proof Obligation Generator #198