Better errors for predicate parsing

[serras]

Right now every problem in a pre, post, or require block gives the very unhelpful message:

could not parse predicate

We should give more information about what failed in each case (unsupported operation, reference to a variable which is not argument, and so on).