Added correct signal updates and removed input signals from guards. Inputs now come out as true in both branches for correct verification