Test ASLSolver