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);