Medusa fails to extract or use some important values from precomputed constants

[ggrieco-tob]

This example was extracted from balancer-core:

contract Q {
    uint constant BONE = 10**18;
    uint constant MINFEE = BONE / 10**6;    

   function a(uint x) public {
      if (x == MINFEE) { assert(false); }
   }
}

To reproduce (only tested for a minute or so):

$ medusa fuzz --compilation-target constant.sol --target-contracts Q