* More compact paths: If we assume a key, we ignore a parent index
* flatter_assert is now deterministic by default