Fix DB tests.
Decouple Solver from ASL.