Need a way to filter out moves which would create inconsistent variables

[triceo]

At the moment, we struggle with moves that cause inconsistencies in shadow variables. These moves are possibly absolutely pointless, and there should be an easy way to filter them out.

Unfortunately, we do not expose any information for that to be possible; the users would need to reimplement the DSV dependency logic in their filters to make it happen.

[larsbeck]

A bonus would be if the inconstency framework could limit the values that a move can pick from (rather than generating the move and then filter them).