Define become_closed matcher locally