cloneSpec :: CoreFuncName -> CoreFuncName -> Terminate -> Terminate
cloneSpec from to t = case Map.lookup from (terminate t) of
                           Nothing -> t
                           Just y -> t{terminate = Map.insert to y{inlined=Set.empty} $ terminate t}
cloneSpec :: CoreFuncName -> CoreFuncName -> Terminate -> Terminate
cloneSpec from to t = case Map.lookup from (terminate t) of
                           Nothing -> t
                           Just y -> t{terminate = Map.insert to y{inlined=Set.empty} $ terminate t}
cloneSpec from to t = case Map.lookup from (terminate t) of
                           Nothing -> t
                           Just y -> t{terminate = Map.insert to y{inlined=Set.empty} $ terminate t}