Handle collisions/blocking/etc correctly...
Handle collisions/blocking/etc correctly...

But now simplification hangs forever ):

Maybe I could head over to Z3 at this point since I have an invariant?

JoeOsborn/hyped,JoeOsborn/hyped