onDirectiveMatchingPattern
open override fun onDirectiveMatchingPattern(directive: Directive, pattern: Term, unifier: Substitution.Unifier)
Invoked when a directive's body unifies with one of patterns, via unifier.
Invoked when a directive's body unifies with one of patterns, via unifier.