pub fn analyze_with_storage<S, N>(n: &N, marks: Option<Marks>) -> Swhere
S: Storage,
N: VisitWith<UsageAnalyzer<S>>,Expand description
TODO: Track assignments to variables via arguments.
TODO: Scope-local. (Including block)
If marks is None, markers are ignored.