[broken] interesting reachable simplification