let
remember_bases_with_locals =
remember_bases_with_locals bases_containing_locals