Exploiting Logic Simulation to Improve Simulation-based Sequential ATPG