let mk_loop_from_id kf s ca from =
  let id = Property.ip_of_from kf (Kstmt s) (Property.Id_code_annot ca) from in
    mk_prop PKPropLoop id