The precedence of operators is not respected. While Figure 1(a) properly groups
* before + operator, Figure 1(b) is also a valid perse tree and groups the +
ahead of the *. We need to force only the structure of Figure 1(a) to be legal
in an unambiguous grammar