don't solve again if refine(query) returns the same query

[0xkarmacoma]

as is the case in this test:

    function test_expRefinement(uint256 x) external {
        vm.assume(x != 0);

        unchecked {
            assert(x ** 4 != 0);
        }
    }