The backend currently does not protect against equivalence class collisions in the closure. I do not want to implement rewriting: I only want to prune such conflicts from being used, so it triggers rebuilds as necessary.