analysis collapses worlds with equivalent future linearizability

The combinatorial explosion was not exactly helpful, haha