exportLemmaRemainder :: Named CMD -> ProofStatus [EXPRESSION] ->
                        (Named CMD, ProofStatus [EXPRESSION])
exportLemmaRemainder = exportLemmaGeneric
exportLemmaRemainder :: Named CMD -> ProofStatus [EXPRESSION] ->
                        (Named CMD, ProofStatus [EXPRESSION])
exportLemmaRemainder = exportLemmaGeneric
exportLemmaRemainder = exportLemmaGeneric