let is_empty (_,p) = F.is_true p.property