Warnings for local/global variables when they intersect

[vuphan314]

:- #count{X1 : p(X1)} > 0, q(X1). should produce an error or a warning