b(1) := b(2)*p2
t
b(2) := p1*b(1)
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!