how can I solve this type of conflicts?
A -> B a B -> A b
I assumed I can replace B in A\'s derivation, and left factorize but It\'s didn\'
