b(1) := p2*b(1)
t x
b(2) := p1*b(2)
t x
with symmetries
b(1) := b(2)*b(1)*q4 + b(2) *q5
s 2x
2
b(2) := b(2) *q2 + b(1) *q3 + b(1) *b(1)*q1
s 3x x
SYSTEM & SYMMETRY DO NOT SATISFY MINIMAL REQUIREMENTS!