Function lower 

pub fn lower(
    scenario: &BoundScenario,
    ctx: &LowerCtx<'_>,
) -> Result<LoweredScenario, Vec<Diag>>

Lower one bound scenario into engine batches.