Using VRP during constant folding of comparison