I guess I was assuming the LLM would be wrapped into some larger goal-seeky thing. Explaining the goal seems like the easy part; it could be as simple as "Make it possible for execution to reach this function."