public Pattern caseChoice(ChoicePattern p) {
   return builder.makeChoice(memoApply(p.getOperand1()), memoApply(p.getOperand2()));
 }