The local bindings declared in the prop/for-all macro are not being respected. As a result the property testing fails since the values that should be known are not defined.
The first example from the readme also fails with the same cause.
Comment made by: carocad
sorry my bad. I was using a previous binding from the generator to pass it to the next generator which is not supported.