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