More efficient functionality decomposition in LOTOS