This version (0.04) is suitable for demo only because the multiple trace exploration with multiple checkpoins is still buggy.