testB1 also good
testB2 also looks much more reasonable

it seems like we'll need a non-recursive representation of
the store to optimize fully