Fix to prevent illegal cast

Now ccprover ignores theorems using lamda expressions.
Also removed redundant case in buildPExp
Merge pull request #126 from mikekab/master

Fix to prevent illegal cast