}
// Filter filter = query.getFilter();
if( !result.getResultVars().containsAll( binding.getAllVariables() ) ) {
ResultBinding newBinding = new ResultBindingImpl();
for( ATermAppl var : result.getResultVars() ) {
ATermAppl value = binding.getValue( var );
newBinding.setValue( var, value );
}
binding = newBinding;
}
result.add( binding );