Implementation search states
Implementation search algorithm (with stubs)
Reimplementation search algorithm (without cost updating)
Implemanation updating cost
Implemanation smoothing