Function generate 

pub fn generate(
    files: &[FileFeatures],
    config: &ControlFlowConfig,
) -> ControlFlowSet

Generate control-flow candidate unit pairs across files.

The result is a pure function of the input: file order only moves the file indices inside the unit references.