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