- (reg_s, alu_s, t, z) = s
- (reg_s', t') = register_bank (addr, Low, DontCare) reg_s
- (alu_s', z') = alu (op, t', t) alu_s
- s' = (reg_s', alu_s', t', z')
+ (reg_s, t, z) = s
+ (reg_s', t') = register_bank (addr, Low, dontcare) reg_s
+ z' = alu op t' t
+ s' = (reg_s', t', z')