Add upper bounds for snap-predicates