Removed the use of 'subsequences' function. Not using a union of inits and tails instead. Now the condition inside the list comprehension is not needed anymore.