ClemsonRSRG/RESOLVE — pull request #126 by mikekab (2014-05-29 20:07:06+00:00)
Title: Fix to prevent illegal cast

Now ccprover ignores theorems using lamda expressions.
Also removed redundant case in buildPExp