Index: src/cui_auto_main.d
==================================================================
--- src/cui_auto_main.d
+++ src/cui_auto_main.d
@@ -17,9 +17,9 @@
 
 void main(string[] args)
 {
 	Driver d = new Driver(stdin);
 	d.addObserver!(GuardedOutput)();
-	auto c = d.addObserver!(CUI!Solver_1)();
+	auto c = d.addObserver!(CUI!MainSolver)();
 	while(!c.fin)
 		d.command(c.solver.single_step());
 }

Index: src/gui_main.d
==================================================================
--- src/gui_main.d
+++ src/gui_main.d
@@ -7,9 +7,9 @@
 
 void main(string[] args)
 {
 	Driver d = new Driver(stdin);
 	d.addObserver!(GuardedOutput)();
-	auto g = d.addObserver!(GUI!Solver_1)();
+	auto g = d.addObserver!(GUI!MainSolver)();
 	g.set_fn(&d.command);
 	g.run();
 }

Index: src/solver.d
==================================================================
--- src/solver.d
+++ src/solver.d
@@ -229,5 +229,7 @@
 			return [];
 		}
 		return (danger_ok ? [] : tryA()) ~ tryB() ~ tryC();
 	}
 }
+
+alias Solver_1 MainSolver;