let
mk_var_decr_id kf s ca = mk_prop
PKVarDecr
(mk_annot_id kf s ca)