implemented left multiplicity for product expressions