improve proof obligation export
export proof status together with the pos