extends for classes implemented using extends of object contracts