tla2tools.jar
states/
*_TTrace_*.bin
*_TTrace_*.tla
