bug fixed (operators which are equal on priority cannot be recognized precisely)