Improve pre/postcondition messages
Set array lengths for result variable

These where missing when generating postconditions

Fixes bug 737222