see #3051 (precondition and postcondition inheritence does not work yet)
