public interface ProofObligationSelector
boolean
selectProofObligation()
boolean selectProofObligation()