Adding the rule for infix exp.