Lemma elimination introduces duplicate inferences

[GoogleCodeExporter]

1. return false in LemmaElimination.mayIntroduceDuplicates()
2. expand proofs of StokesAdamsSeizure <= PathologyOfPartOfHeart (see the 
attached screenshot)

Need to figure out if it's a bug in the inference rewriting or its fundamental 
property, in which case we simply filter out those duplicates, as we do now.

Original issue reported on code.google.com by pavel.kl...@gmail.com on 3 May 2015 at 2:32

Attachments:

• elk-proofs-dup-inferences.png