Medusa fails to extract values from type max

[ggrieco-tob]

This example was extracted from uniswap-v4:

contract C { 
    uint256 c = type(uint160).max;
    function f(uint256 x) public returns(uint){
    	if (x == c)
		assert(false);
    }
}

To reproduce (It was run for a couple of minutes):

medusa fuzz --compilation-target constant.sol --target-contracts C