leo_passes::flattening::program