remove proof obligations from contexts if an axiom is deleted