Function check_main_function 

fn check_main_function<'db>(
    db: &'db dyn Db,
    function: SymFunction<'db>,
    mfunc: AstMainFunction<'db>,
) -> SymExpr<'db>