How to deal with variable naming in Knowledge Gap detection?

[Sophietje]

When detecting Knowledge Gaps, different knowledge bases/interactions may use different variable names. However, when combined with reasoning, these variable names may actually refer to the same thing. How should we deal with variable naming when detecting knowledge gaps? Should we replace all occurrences of variables in the consequent by the names used in the antecedent?

I came across this issue when working on #519 (see testKnowledgeGapNoMatchingVars() or make a test where, in a similar setting, the domain knowledge uses a different variable name)