A non-well-founded primitive recursive tree provably well-founded for co-r.e. sets