Abstract functions doesn't have a body so they can not have the `return` and `raises` segments. We need to figure out a way to track abstract functions correctly.
Abstract functions doesn't have a body so they can not have the
returnandraisessegments.We need to figure out a way to track abstract functions correctly.