Binding of Redundant Temporal Variable Based on BCDM

• 基于BCDM的冗余时间变元绑定