using LLM for replacing symbolic execution