automatic tests
use interleavings
failable test
1.0.2