reaching def visited flag in PO