Revert src/cil.ml changes

Co-authored-by: michael-schwarz <13812333+michael-schwarz@users.noreply.github.com>

Author: Copilot

src/cil.ml

@@ -1427,7 +1427,7 @@ and filterAttributes (s: string) (al: attribute list) : attribute list =
 
 (* sm: *)
 let hasAttribute s al =
-  List.exists (fun (Attr(an, _)) -> an = s) al
+  (filterAttributes s al <> [])
 
 
 type attributeClass =