{"ast_node_type":"other","tokens":[{"end":22,"kind":"keyword","start":0,"text":"param_env,"}]}
            param_env,
            ecx,
            normalization_goal_source: GoalSource::NormalizeGoal(step_kind),