Decompose, fix issues with "xs.length > 0"