Update to snap-predicates 0.5
Add models encountered during property generation.