Abbreviate "native symbolic execution" by "nse"