Artifacts of Overture IDE Eclipse Proof Obligation Viewer feature #30