module Refactor.ExtractBinding.ExistingLocalDef where f = 1 + 2 + 3 where