consequence type tree reordered