A More Efficient Simulation Algorithm on Kripke Structures