nuking non-trivial-support-var filtering from lazyinst. it breaks when you have disjunctive quals that don't require ALL vars to be non-trivial, e.g. isKey(v) => x + y = z holds if isKey(v) is false, regardless of x,y,z. duh.