Postcondition inheritance

[fridis]

First step to support inheritance of post-conditions.

For now, post conditions from redefined features are cloned and added to the redefining feature.

This works as long as the post-conditions are simple enough, in particular they cannot access inner features of the surrounding feature and they cannot use lambda expressions or anything else that causes syntax sugar that results in declaration of inner features.