fix linear predicate bug