Efficient Heuristics for Sequential ATPG