precondition and postcondition inheritence does not work yet

[fridis]

Redefined features should inherit the original feature's contract, combine it when pre else or post then is present and check it at runtime.