with frozenset.

This should be moved to test_solve_args, if there is no such tests already.