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