pub fn dependencies<'a>(a: &'a Assertion, f: &'a Flow) -> BTreeSet<&'a str>
Whole-file input dependencies, not a mechanically inferred semantic slice.