Added the constraint of module d_k(bar) and wd_k(bar) being equal to d(bar) and wd(bar) respectively