Fix to prevent illegal cast

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