Bug fix: copy method added because states are identified by their references. Test case for plus added.