Merge remote-tracking branch 'upstream/inv-gen' into invGen-no-explicit
Merge remote-tracking branch 'upstream/inv-gen' into invGen-no-explicit
Slice to top properties, tag invariants with scope

Do not consider properties from subrange constraints in the top node for
the cone of influence.

Enable tagging discovered invariants with a node scope to communicate
subnode invariants.
Merge pull request #189 from chsticksel/inv-gen

Slice to top properties, tag invariants with scope
Merge branch 'invGen-no-explicit' of https://github.com/AdrienChampion/kind2 into invGen-no-explicit
Merge remote-tracking branch 'upstream/inv-gen' into invGen-no-explicit