Integer variables are now specified by a predicate function
(instead of a list).