# In verify, we now prefer to eliminate wildcards last
# This gives us an improved chance of finding equality
# constraints on wildcards. 
{[i,j] : 0 <= i,j <= 4 && exists(a:i=j+5a)};