do is-tree check when binding tuples