# A weighted counting test with an equality constraint involving parameters.
r := sum [a=0, b=0:1] -> { [c=0:2] -> c };
assert(r == [a=0, b=0:1] -> { 3 });
