Add annotations to disabled()