group var_invariants by variable name with or
count values of var_invariants
fail on one expression ⇒ fail on full or-expression
Merge branch 'externalInfo_orVar' into externalInfo