- pbesstategraph test now executes both the local and the global algorithm

- removed unused import from pfnf test