LORETO: a tool for reducing state explosion in verification of LOTOS programs