let mk_assert_id kf s ca = mk_prop PKProp  (mk_annot_id kf s ca)