Function check 

pub(crate) fn check(files: &[&File]) -> (Program, Vec<Diagnostic>)

Checks files as one program; the first is the entry file.