Check if a function call is safe.
(check-safe-funcall call varset funtab) → results?
We look up the function in the function table, which is passed as parameter. We ensure that the number of inputs matches, and we return the number of outputs. Each argument expression must return a single result.