support for #620 comparison expressions with upper and lower bounds