julia

2abedf6d - Avoid set var's lb if intersect return a Vararg with free length. (Null or a local type var)

Avoid set var's lb if intersect return a Vararg with free length. (Null or a local type var) But `check_unsat_bound` should not be skipped. Co-Authored-By: Jameson Nash <vtjnash+github@gmail.com>