}
if (left instanceof lupos.sparql1_1.ASTVar) {
final String varname = ((lupos.sparql1_1.ASTVar) left)
.getName();
Variable var = new Variable(varname);
VariableInInferenceRule varInference = new VariableInInferenceRule(varname);
if (right instanceof lupos.sparql1_1.ASTQName
|| right instanceof lupos.sparql1_1.ASTQuotedURIRef
|| right instanceof lupos.sparql1_1.ASTFloatingPoint
|| right instanceof lupos.sparql1_1.ASTInteger
|| right instanceof lupos.sparql1_1.ASTStringLiteral
|| right instanceof lupos.sparql1_1.ASTDoubleCircumflex) {
Literal constant = LazyLiteral.getLiteral(right);
if(var.equals(v) || varInference.equals(v)){
if(!l.equals(constant))
return true;
}
} else return false;