5.6.2 gimplify_body