RemoveProofTerms.
AgdaInternal.Interface.