EFSM Manipulation to Increase High-Level ATPG