Decomposer#decompose: replace widest function with decomposed