let mk_var_pos_id    kf s ca = mk_prop PKVarPos  (mk_annot_id kf s ca)