LORETO: A Tool for Reducing State Explosion in Verification of LOTOS Programs