Preferably, the step of performing matching includes a step of removing the matching result for any interlink that is inconsistent with the matching result for the node variable.
The step of performing matching includes a step of merging the matching result for the interlink into the matching result for the node variable.