let is_comp comp e = F.p_app1 (IsComp.get_definition comp).d_name e