> applying 33... ((AccId->(2^AccHolder))*(AccId->Amount))

> abs = join
> rep = nJoinInv

> applying 24... ((((2^AccHolder)+1)^AccId)*(AccId->Amount))

> abs = prod(?,id)
> rep = prod(?,id)

> applying 1... ((AccId->Amount)*(((2^AccHolder)+1)^AccId))

> abs = const(p2,p1)
> rep = const(p2,p1)

> applying 38... ((2^(AccId*Amount))*(((2^AccHolder)+1)^AccId))

> abs = prod(mkf,id)
> rep = prod(mkr,id)

> applying 25... ((2^(AccId*Amount))*(AccId->(2^AccHolder)))

> abs = prod(id,?)
> rep = prod(id,?)