Virtual Methods that are final or *are defined in a final class* are
analyzed.