both in input and output.
Abstract evaluator returns a regular function invocation if the body could not be evaluated.