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