exhaustive search over all interleavings now works with the -prov_equiv
flag