codeTest


lhs

A(1)

X(1)

B1

P

rhs

A(2)

X(2)

B2

Y