Improving topological ATPG with symbolic techniques