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.