make debug better
add unbounded table matching