Choice rules are now allowed in the head of BC+ programs.