adding simple model to test Z3

Merged Emna Gharbi requested to merge TestModelsZ3 into master

Merge request reports