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