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

...and MetaSMTBuilder.