WIP -- fix some bugs in late-bound-region replacement in check-item