Idea: Filter assumptions by local variable

[georgwaechter]

If the list of assumptions becomes very long, if would be helpful to filter these by a local variable.
For instance, when clicking on a local variable in the right pane, the gui could highlight all depending assumptions (or hide the non-depending ones).

[btj]

That's a great idea. I'll try to implement it in a spare moment.