of the accumulator is TRUE S bVar [...] of the accumulator is TRUE R bVar [...] and (negated) operand AND bVar
type INT (example: iVar [...] in the iVar . Calling a