added local bound generation - fixed binary ops - added bound check dereference