hasType=true;
property.addAttribute(new Attribute(false,"name",LitString.toExprString(second),"string"));
property.addAttribute(new Attribute(false,"type",LitString.toExprString(first),"string"));
}
else {
property.addAttribute(new Attribute(false,"name",LitString.toExprString(first),"string"));
}
}
if(!hasType)
property.addAttribute(ANY);