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