Wrong Abstraction in Clue Provenance Graph Visualization

[alexsb]

• Environment (local or deployed): deployed Ordino, for example

Steps to reproduce

1. Interact, e.g., with ordino
2. look at clue provenance visualization

Observed behavior

• Aggregation is unnecessarily aggressive. Even if a lot of space is available, nodes are aggregated.
• Fish-eye lense shows only history up to a state, but not following states.
  
• going back to a final state occludes the prior state completely:
  

Currently, it looks like it's a window: [7 prior states shown in full] == [ACTIVE STATE shown in full and orange] == [ all subsequent states are aggregated]

This makes undoing/redoing very complicated.

Expected behavior

• The "newest" states of the current branch should never be aggregated.
• The states following a selected state should not be aggregated.
  The window should be [n prior states shown in full] == [ACTIVE STATE shown in full and orange] == [n subsequent states are shown in full] == [additional subsequent states are aggregated] == [last m states are shown in full]