merge
open override fun merge(substitution1: Substitution, substitution2: Substitution, occurCheckEnabled: Boolean): Substitution
Returns the cached result for (substitution1, substitution2, occurCheckEnabled), computing and caching it if absent. Shares the same underlying LRU cache (and thus the same cacheCapacity budget) as mgu.