propagateModification(left, right, tupleindex, type, oldvalue, newvalue, state, mem, agenda);
propagateModification(left, right, tupleindex, type, oldvalue, newvalue, state, mem, agenda);
propagateModification(left, right, left.size(), type, oldvalue, newvalue, state, mem, agenda);
propagateModification(left, right, left.size(), type, oldvalue, newvalue, state, mem, agenda);