We provide a new application of our results to string constraint solving with length constraints .
We then extend our results to variadic decomposability ,
We provide a new application of our results to string constraint solving with length constraints .
We then extend our results to variadic decomposability , where predicates could admit multiple free variables ( in contrast to monadic decomposability ) .