[cocci] Data processing challenges with usage of not operators

Hello,

I hope that the program interface “command-line semantic match” can help
to clarify another recurring data processing challenge.

Questionable test result (according to the software combination “Coccinelle 1.3.0”):
Markus_Elfring@Sonne:~> /usr/bin/spatch --parse-cocci --sp '! 2' | grep -E '^\|' | wc -l
init_defs_builtins: /usr/lib64/coccinelle/standard.h
14

How reasonable do you find the conversion of such a simple test expression
into an SmPL disjunction with 15 branches by isomorphism rules?
https://gitlab.inria.fr/coccinelle/coccinelle/-/blob/e6f8731b851f5d76d2731a9d546dc4f0b181526e/standard.iso#L134-148

Will any adjustments become helpful here?

Regards,
Markus