Next_Choice
Next_Choice(form, typ->left, field, argp->left) ||
Next_Choice(form, typ->right, field, argp->right));
returnCode((Next_Choice(form, field->type, field, (TypeArgument *)(field->arg)))