Add a tool to compute lengths of sequences in an SDD