High-Level Observability for Effective High-Level ATPG