pub fn create_graph( m: &Program, eval_context: &EvalContext, analyze_mode: AnalyzeMode, ) -> VarGraph