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