MDD Propagation for Sequence Constraints