WANDA - a Higher Order Termination Tool (System Description)