+ case SK_RESULT:
+ {
+ ce = constraintExpr_makeTermsRef (s);
+ return ce;
+ }
+ case SK_FIELD:
+ {
+ sRef temp;
+
+ temp = (sRef_makeField (sRef_fixBaseParam (s->info->field->rec, args),
+ s->info->field->field));
+ ce = constraintExpr_makeTermsRef (temp);
+ return ce;
+ }
+ case SK_PTR:
+ {
+ sRef temp;
+ temp = (sRef_makePointer (sRef_fixBaseParam (s->info->ref, args)));
+ ce = constraintExpr_makeTermsRef (temp);
+ return ce;
+ }
+
+ case SK_ARRAYFETCH:
+ {
+ sRef temp;
+ temp = sRef_fixBaseParam (s, args);
+ ce = constraintExpr_makeTermsRef (temp);
+ return ce;
+ }
+ case SK_CVAR:
+ ce = constraintExpr_makeTermsRef (s);
+ return ce;
+ case SK_PARAM:
+ llassert(exprNodeList_size (args) > s->info->paramno);