let is_defined name = F.has_declaration ("Hyp_" ^ name)