apply recursive decomposition in DECOMPOSE-STRING