Simultaneous Replacement in Normal Programs