FATE: a Functional ATPG to Traverse unstabilized EFSMs