sparc
sparc copied to clipboard
Warnings for local/global variables when they intersect
:- #count{X1 : p(X1)} > 0, q(X1).
should produce an error or a warning