Это неоднозначно, однако, это не проблема, потому что хорошо продуманный генератор парсера LALR разрешит неоднозначность, выбрав сдвиг вместо сокращения. Это то, что вы хотите - «еще», которое будет сопоставлено с предыдущим «если». Итак, вывод таков: проблем нет. Вам просто нужно понять выбор по умолчанию, который генератор парсера делает для всех неоднозначностей уменьшения смещения. Это значение по умолчанию может быть переопределено с помощью правил устранения неоднозначности или что-то вроде оператора "% prec" в "yacc".
Но это более сложная тема.