let remember_bases_with_locals =
    remember_bases_with_locals bases_containing_locals