mu-mmint: Automatically arrange refinement diagrams