Fixed creation of arrays with variable domains and ranges in STPBuilder and MetaSMTBuilder.
Merge pull request #121 from hpalikareva/domain-range-metasmt

Fixed creation of arrays with variable domains and ranges in STPBuilder ...