fill in remaining TODO
phew
asdasd
which tests break due to non-lhs-sort-pruning?