Adde the analyze method for ListOperator bytecode to propagate the
bounds from operands to target by adding the 'equal' constraints.