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