nitc :: StaticAnalysis :: current_inset
# "in" set for the currently visited node. var current_inset: FLOW is noinit, writable