Added data-flow guards and updates. Need to attach updates to the guards uniquely and also debug the updates