Function check_program 

pub fn check_program(program: Program) -> Result<Outcome<()>>

check_file on program (spec 3.3a §5.1). MIR runs only when the program runs: its entry is src/main.nova, or a loose file.