Uses of Class
org.checkerframework.checker.calledmethods.qual.RequiresCalledMethods