public Binding nextBinding() {
index++;
final ResultBinding binding = bindings.next();
BindingMap result = parent == null
? new BindingHashMap()
: new BindingHashMap( parent );
for( final ATermAppl var : resultVars ) {
if( binding.isBound( var ) ) {
String varName = getVarName( var );