[PD] Highlight modified abstraction instances with red