Improving Gate-Level ATPG by Traversing Concurrent EFSMs