Refactor: Variables.findSubstitute(): introduced variable: isSameOrderEqual
Refactor: Variables.findSubstitute(): introduced variable: isSameOrderEqual

opennars/opennars,opennars/opennars,opennars/opennars,opennars/opennars