Precise range inference on <, <=, >=, > branches