🔎 define symbolic execution - Google Search