Added b-tree checker and is-equal