Modify the analyze method of 'forall' bytecode not to add any constraint
to loop exit.