Track only relevant predicates

Only predicates that can actually restrict intervals for variables
should be track.  Currently, we limit ourselves to arithmetic
comparisons with constants