Merge branch 'visualiser' into simulator

Author: nmacedo

org.alloytools.alloy.application/src/main/java/edu/mit/csail/sdg/alloy4viz/VizGUI.java

@@ -1551,8 +1551,10 @@ private Runner doExportLTL() {
             StringBuilder sa = new StringBuilder("");
             for (int j = inst.getLoopState(); j < inst.getTraceLength(); j++)
                 sa.append("after ");
+            sa.append("(");
             sa.append(states.get(i));
-            sb.append("    " + states.get(i) + " implies " + sa.toString() + "\n");
+            sa.append(")");
+            sb.append("    (" + states.get(i) + ") implies " + sa.toString() + "\n");
         }
         sb.append("  }\n}\n");
         OurDialog.showtext("Text Viewer", sb.toString());