implement Control and fix a bug in ID_EX