Loclist rewriting now does graph traversal and makes sane conclusions, though rewriting is still not implemented.