> You would like to extend a check for an if statement. > I suggest to specify the corresponding SmPL disjunction like the following. > > @r@ > expression x; > statement S1,S2; > position p; > @@ > > *if@p ( \(&x \| &x || ... \| &x && ... \) ) > S1 else S2 > > > How do you think about to use such a SmPL code variant instead? Thank you for your suggestion, it looks like a better solution. I'll send a v2 with this suggestion (without the &x case). Jérémy
