Let and FunctionInvocation can always make a step.