Index: /vis_dev/vis-2.3/models/debug/and2.ltl
===================================================================
--- /vis_dev/vis-2.3/models/debug/and2.ltl	(revision 39)
+++ /vis_dev/vis-2.3/models/debug/and2.ltl	(revision 39)
@@ -0,0 +1,1 @@
+X(c = 1);