Fix bug in Graph.copy() for filtered graphs

8 jobs for master