redefine var.multiplicity=0