Apply upper-constraints when testing SNAPS