new undefine argument telling if variable with no more references should be removed (False by default for consistency with old behaviour)

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)