Fixed order of domain and range in array creation in MetaSMTBuilder.
Merge pull request #122 from hpalikareva/metasmt-array-order

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