Unable to use previously declared prop/for-all bound parameters in subsequent expressions

The following code sample does not pass compilation:

The exception when attempting to define/compile the property above is:

Verified with test.check version 0.9.0.