5.3 步骤3：消除功能型约束