/** Set up a clause choice point as part of a CALL. */ private void setupClauseCall(int pc, int ac, List<RuleClauseCode> clauses, boolean isSingleton) { ChoicePointFrame newChoiceFrame = new ChoicePointFrame(this, clauses, isSingleton); newChoiceFrame.linkTo(cpFrame); newChoiceFrame.setContinuation(pc, ac); cpFrame = newChoiceFrame; }