Heuristic for Simulation Checking