Added location information for DFA error "cannot distinguish between terminals"