fixed assertion to consider multiplicity='+'