An intuitionistic combinatory theory not closed under the rule of choice