A::= 3 B::=5 C::=::= 2*A+B B=A