one more example

Author: CatarinaGamboa

liquidjava-example/src/main/java/testSuite/classes/state_test_method_error/EditMisuse.java

@@ -21,4 +21,14 @@ public static void wrongTesterForRedo(AbstractUndoableEdit edit) {
             edit.redo(); // State Refinement Error
         }
     }
+
+    public static void wrongTester2() { 
+        AbstractUndoableEdit edit = new AbstractUndoableEdit();
+        edit.undo(); // edit: aliveNotDone
+        if (edit.canUndo()) { // is canUndo() == true --> edit: aliveDone
+            edit.undo(); // edit: aliveNotDone
+        }
+        edit.undo(); // is "aliveDone(this)"? not in any path
+        
+    }
 }