clean test_solvers
added example in domain_check docstring