Fixed buggy Z3 model parsing.
+ Reading maps from SI-generated models.