Large Language Model based Functional Symbolic Execution