Re: [cocci] Logical consequences for applications of SmPL conjunctions

Would you find SmPL code (like the following) not so useful in comparison to
indicated software functionality according to another published test case?
https://gitlab.inria.fr/coccinelle/coccinelle/-/blob/03a1af0a3316ddfc2b54d827b8b9627a841c85c9/tests/andid.cocci


@duplicate_metavariable_type@
identifier x, y;
@@
(x
&y
)


Regards,
Markus