bug fixed: frontier quickly shrink to 0. Now still cannot detect infeasible puzzle