Function build_graph_with_registry_and_warnings 

pub fn build_graph_with_registry_and_warnings(
    program: &Program,
    registry: Option<&AbstractionRegistry>,
) -> Result<BuildResult, BuildError>

Convert Program (AST) to PatchGraph + warnings (with Abstraction registry).