Rules that decompose variables (e.g. ADTSplit) introduce the previous
recomposed expression as a Hint. These Hints are used by the default grammar
when they are of a specific size upwards (currently 4).