Holds if this expression is guarded by expression
cond, which must
b. The expression
sub is a sub expression of
that is structurally equal to this expression.
In case this expression or
sub accesses an SSA variable in its
left-most qualifier, then so must the other (accessing the same SSA