@Override
public Message preProcessMessage(final BoundVariablesMessage msg) {
this.intersectionVariables = new HashSet<Variable>();
this.unionVariables = new HashSet<Variable>();
final BoundVariablesMessage result = new BoundVariablesMessage(msg);
for (final Variable i : this.substitutionsVariableLeft) {
result.getVariables().add(i);
this.intersectionVariables.add(i);
this.unionVariables.add(i);
}
for (final Variable i : this.substitutionsLiteralLeft) {
result.getVariables().add(i);
this.intersectionVariables.add(i);
this.unionVariables.add(i);
}
return result;
}