Define an initial context with a RETURN-INSTRUCTION as a successor.
The :OUTPUTS of the FUNCALL-INSTRUCTION should be a list.