In the declarative directive generator post does not offer conditions list.

When generating, output indicate post conditions should be possible.