Rdf_store now use Rdf_sparql.get_term instead of handmade tool