pub fn analyze_program(program: &Program, file: &str) -> StrykeResult<()>
analyze_program — see implementation.
analyze_program