In the microprogram for Mic-1, in if_icmpeq3, MDR is copied to H. A few lines later it is subtracted from TOS to check for equality. Surely it is better to have one statement here:
If cmpeq3 Z TOS MDR: rd Why is this not done?