Symexec.kill_pvars_with