fix NPE in eliminateVariableAbductive
fix NPE in eliminateVariableAbductive
printedheart/opennars,printedheart/opennars,printedheart/opennars,printedheart/opennars,printedheart/opennars,printedheart/opennars