s/irn_not_visited(x)/!irn_visited(x)/.