Function lower_graph 

pub fn lower_graph(
    graph: &TensorGraph,
    spec: &ModelSpec,
    numerics: EngineNumerics,
) -> Result<Program, LowerError>

The program of graph, the step spec authors as the engine’s shim leaves it, at numerics.