diff --git a/.idea/runConfigurations.xml b/.idea/runConfigurations.xml
deleted file mode 100644
index 797acea53eb091cf5b30518802c3073f544adeed..0000000000000000000000000000000000000000
--- a/.idea/runConfigurations.xml
+++ /dev/null
@@ -1,10 +0,0 @@
-<?xml version="1.0" encoding="UTF-8"?>
-<project version="4">
-  <component name="RunConfigurationProducerService">
-    <option name="ignoredProducers">
-      <set>
-        <option value="com.android.tools.idea.compose.preview.runconfiguration.ComposePreviewRunConfigurationProducer" />
-      </set>
-    </option>
-  </component>
-</project>
\ No newline at end of file
diff --git a/src/main/java/avatartranslator/mutation/RmStateMutation.java b/src/main/java/avatartranslator/mutation/RmStateMutation.java
index a451f03a4d0be1edfc4c4fe6f85a7a5320ccb017..bd4c9b82d8ababb0e3941c75fbafbaeb9353a7ee 100644
--- a/src/main/java/avatartranslator/mutation/RmStateMutation.java
+++ b/src/main/java/avatartranslator/mutation/RmStateMutation.java
@@ -41,6 +41,8 @@ package avatartranslator.mutation;
 import avatartranslator.*;
 import myutil.TraceManager;
 
+import java.util.List;
+
 /**
  * Class RmStateMutation
  * Creation: 27/06/2022
@@ -58,6 +60,18 @@ public class RmStateMutation extends StateMutation implements RmMutation {
     public void apply(AvatarSpecification _avspec) throws ApplyMutationException {
         AvatarState state = getElement(_avspec);
         AvatarStateMachine asm = getAvatarStateMachine(_avspec);
+        List<AvatarStateMachineElement> elements = asm.getListOfElements();
+        for (AvatarStateMachineElement element : elements) {
+            if (element.getNexts().contains(state)){
+                for (AvatarStateMachineElement element2 : elements) {
+                    if (element2.getNexts().contains(element)){
+                        element2.removeNext(element);
+                    }
+                }
+                asm.removeElement(element);
+            }
+        }
+        state.removeAllNexts();
         asm.removeElement(state);
     }