Artifacts of The Proof Obligation Generator The Proof Obligation Generator