public void testDataRangeBindingHelper() {
DatavaluedPropertyAtom pattern = new DatavaluedPropertyAtom(dp2, x, z);
DataRangeAtom atom = new DataRangeAtom(ATermUtils.makeTermAppl(Namespaces.XSD + "integer"), z);
BindingHelper patternHelper = new DatavaluePropertyBindingHelper(kb.getABox(), pattern);
BindingHelper rangeHelper = new DataRangeBindingHelper(kb.getABox(), atom);
BindingGenerator gen = new BindingGeneratorImpl(kb.getABox(), new VariableBinding(kb.getABox()), Arrays
.asList(new BindingHelper[] { patternHelper, rangeHelper, }));
VariableBinding expectedBinding = new VariableBinding(kb.getABox());
expectedBinding.set(x, kb.getABox().getIndividual(victor));