let remember_bases_with_locals = remember_bases_with_locals bases_containing_locals