kind2-mc/kind2 — pull request #189 by chsticksel (2014-12-06 00:09:43+00:00)
Title: 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.