initialized var.multiplicity