let deepHasAttribute s t = let found = ref false in visited := []; ignore(visitCilType (new attribute_checker s found) t); !found