Adding ciel for PlainBST2