IW(2) has been implemented
BFS with width-2 tables implemented