Function resolve 

pub fn resolve(
    symbols: &[Symbol],
    edges: &[Edge],
    facts: &[FileFacts],
) -> Resolved

Resolve the merged corpus. Input edges pass through; new edges come from facts.