Fix copy_property() to allow copying between non-identical graphs
Now properties can be copied from vertices which are not identical (e.g. from unfiltered to filtered graphs, etc). This fixes a problem with graph copying and pruning, where the properties were not correclty copied.
Showing with 357 additions and 255 deletions