Chef: Optionally reporting the function name to S2E.