> +@safe depends on context || org || report exists@> +expression x;> +position p;> +@@> +> +(> + x = kmalloc(...)> +|> + x = kvasprintf(...)…* How do you think about to reduce also a bit of duplicate SmPL code?* Can it help to work with nested SmPL disjunctions here?Regards,Markus