Composing Tree Pruning Specifications Course