Use caseof instead of Match in BTree example