Replace pre/post-conditions with type hint