diff --git a/de.prob.ui/plugin.xml b/de.prob.ui/plugin.xml
index 6bf2e1f287fe32c93a44f4924fcb7d4f3c4a6dfc..d7fbd3701c61ff4f570797202ad465b683d9ce93 100644
--- a/de.prob.ui/plugin.xml
+++ b/de.prob.ui/plugin.xml
@@ -1041,22 +1041,6 @@
          <separator
                name="de.prob.ui.separator2"
                visible="true">
-                           <visibleWhen>
-               <with
-                     variable="selection">
-                  <iterate
-                        operator="or">
-                     <or>
-                        <instanceof
-                              value="org.eventb.core.IMachineRoot">
-                        </instanceof>
-                        <instanceof
-                              value="org.eventb.core.IContextRoot">
-                        </instanceof>
-                     </or>
-                  </iterate>
-               </with>
-            </visibleWhen>
          </separator>
          <command
                commandId="de.prob.ui.starteventbanimation"
@@ -1135,22 +1119,6 @@
          <separator
                name="de.prob.ui.separator1"
                visible="true">
-                           <visibleWhen>
-               <with
-                     variable="selection">
-                  <iterate
-                        operator="or">
-                     <or>
-                        <instanceof
-                              value="org.eventb.core.IMachineRoot">
-                        </instanceof>
-                        <instanceof
-                              value="org.eventb.core.IContextRoot">
-                        </instanceof>
-                     </or>
-                  </iterate>
-               </with>
-            </visibleWhen>
          </separator>
       </menuContribution>
       <menuContribution