Fixed order of domain and range in array creation in MetaSMTBuilder.