incremental encoding of environments to Z3
merging