added a possible workaround for a case where one token could lead to two different non terminals