rename IS-TREE to IS-CONS