kind2-mc/kind2 — pull request #187 by chsticksel (2014-12-04 20:55:29+00:00)
Title: Annotate properties with source, better slicing

Slice to cone of influence of properties in the top node, not regarding
those properties that were instantiated from subnodes.