We should probably do something similar to what's above: checking all definitions within the body. We only want to ignore what stuff the class extends, right?