refactor Decomposer#decompose_circuit a bit