Optimize (a >> c1) < c2