Function analyze_program_semantics 

pub fn analyze_program_semantics(
    program: &Program,
    text: &str,
    file_path: Option<&Path>,
    module_cache: Option<&ModuleCache>,
    workspace_root: Option<&Path>,
) -> Vec<Diagnostic>

Run semantic diagnostics for a parsed Shape program.