let in_range a b k = p_and (p_icmp Cleq a k) (p_icmp Cleq k b)