rm -rf states
java -Xms512m -Xmx512m tlc.TLC -coverage 60 -difftrace DoRiS.tla
