Does this behavior make sense?



c1 depends(a,[b,b,b]);
d1 [a(b, b, b)]
c2 diff(a,b)
3 * (da/db)

Shoudn't it be da/db?