Added test for function call.
Method on EXECUTE-INSTRUCTION specialized to FDEFINITION-INSTRUCTION.