[cocci] Logical consequences for applications of SmPL conjunctions

Hello,

The functionality “conjunctions” became supported for the semantic patch language
by the contribution “completing the implementation of conjunction” on 2015-08-25.
https://gitlab.inria.fr/coccinelle/coccinelle/-/commit/4069c543b25c819552eb080c849079f35f60a12e

The software documentation was extended by the contribution “some doc on disjunctions”
on 2015-10-30.
https://gitlab.inria.fr/coccinelle/coccinelle/-/commit/48a6dd0aef1d233c8d2cf841aafedb1bf28cafb0

Are involved subterms as often evaluated as they are specified for such SmPL conjunctions?

Regards,
Markus