Source:
<code>public void update(final Direction direction, final Tuple update, final DifferentialTimestamp timestamp) { if (direction == Direction.INSERT) { final Pair<DifferentialTimestamp, DifferentialTimestamp> pair = this.memory.put(update, timestamp); final DifferentialTimestamp oldLeast = pair.first; final DifferentialTimestamp newLeast = pair.second; if (oldLeast == null) { assert newLeast.compareTo(timestamp) == 0; propagate(Direction.INSERT, update, newLeast); } else if (newLeast.compareTo(oldLeast) < 0) { assert newLeast.compareTo(timestamp) == 0; propagate(Direction.REVOKE, update, oldLeast); propagate(Direction.INSERT, update, newLeast); <START> } <END> } else { Pair<DifferentialTimestamp, DifferentialTimestamp> pair = null; try { pair = this.memory.remove(update, timestamp); } catch (final IllegalStateException e) { issueError("[INTERNAL ERROR] Duplicate deletion of " + update + " was detected in " + this.getClass().getName() + " " + this + " for pattern(s) " + getTraceInfoPatternsEnumerated(), e); } final DifferentialTimestamp oldLeast = pair.first; final DifferentialTimestamp newLeast = pair.second; if (newLeast != null) { if (newLeast.compareTo(oldLeast) < 0) { issueError("[INTERNAL ERROR] Illegal least timestamp detected for " + update + " in " + this.getClass().getName() + " " + this + " for pattern(s) " + getTraceInfoPatternsEnumerated(), null); } else if (newLeast.compareTo(oldLeast) == 0) { } else { propagate(Direction.REVOKE, update, oldLeast); propagate(Direction.INSERT, update, newLeast); } } else { propagate(Direction.REVOKE, update, oldLeast); } } }</code><technical_language>else if (newLeast.compareTo(oldLeast) == 0) {...} else { issueError(... (symmetric other Direction)</technical_language>

Target:
public void update(final Direction direction, final Tuple update, final DifferentialTimestamp timestamp) { if (direction == Direction.INSERT) { final Pair<DifferentialTimestamp, DifferentialTimestamp> pair = this.memory.put(update, timestamp); final DifferentialTimestamp oldLeast = pair.first; final DifferentialTimestamp newLeast = pair.second; if (oldLeast != null) { final int comparisonResult = newLeast.compareTo(oldLeast); if (comparisonResult > 0) { issueError("[INTERNAL ERROR] Illegal least timestamp detected for " + update + " in " + this.getClass().getName() + " " + this + " for pattern(s) " + getTraceInfoPatternsEnumerated(), null); } else if (comparisonResult == 0) { } else { propagate(Direction.REVOKE, update, oldLeast); propagate(Direction.INSERT, update, newLeast); } } else { propagate(Direction.INSERT, update, newLeast); } } else { Pair<DifferentialTimestamp, DifferentialTimestamp> pair = null; try { pair = this.memory.remove(update, timestamp); } catch (final IllegalStateException e) { issueError("[INTERNAL ERROR] Duplicate deletion of " + update + " was detected in " + this.getClass().getName() + " " + this + " for pattern(s) " + getTraceInfoPatternsEnumerated(), e); return; } final DifferentialTimestamp oldLeast = pair.first; final DifferentialTimestamp newLeast = pair.second; if (newLeast != null) { final int comparisonResult = newLeast.compareTo(oldLeast); if (comparisonResult < 0) { issueError("[INTERNAL ERROR] Illegal least timestamp detected for " + update + " in " + this.getClass().getName() + " " + this + " for pattern(s) " + getTraceInfoPatternsEnumerated(), null); } else if (comparisonResult == 0) { } else { propagate(Direction.REVOKE, update, oldLeast); propagate(Direction.INSERT, update, newLeast); } } else { propagate(Direction.REVOKE, update, oldLeast); } } }