Combining typing and size constraints for checking the termination of higher-order conditional rewrite systems