Allow non-convex conditional sets in per-insn bounds checks