Symbol: run_wme_update