Function drive 

fn drive<T: AnyBitPattern + FixedSize + Debug, Ctx: DriverContext<T>>(
    machine: &ExtendedStateTable<'_, T>,
    c: &mut Ctx,
    ac: &mut AatApplyContext<'_>,
)