On Concurrently Testable Microprogrammed Control Units