Add the IS_PTREE theorem to the compset when calling Define_mk_ptree_with_is_ptree.