// Otherwise there is nothing to be done.
return null;
} else if (value instanceof NewMultiArrayExpr) {
// Since arrays are aliasable, we must update their types.
NewMultiArrayExpr newExpr = (NewMultiArrayExpr) value;
Type type = newExpr.getBaseType();
RefType tokenType = PtolemyUtilities.getBaseTokenType(type);
if ((tokenType != null)
&& (objectToInequalityTerm.get(newExpr) == null)) {
InequalityTerm typeTerm = new VariableTerm(PtolemyUtilities