added pre- and post-condition inheritance