distinguate SQL scope where it can be a Not node from regular scope where it can only be Select/Exists (and keep bw compat on the way)

      tree annotation

vconsts may be an empty list in case where the simplified variable is only referenced from the uid relation, in that case don't add anything to rewritten

      type constraints may be set in the outer query