The SeqBin Constraint Revisited