From 8226919c0ef4f64903b381607a294e06ff9dc2ff Mon Sep 17 00:00:00 2001
From: Artur Meski <artur.meski@gmail.com>
Date: Sat, 8 Dec 2018 21:53:32 +0000
Subject: [PATCH] Form

---
 in/scripts/gen_tgc_sc.py | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/in/scripts/gen_tgc_sc.py b/in/scripts/gen_tgc_sc.py
index d0b18d8..81957c4 100755
--- a/in/scripts/gen_tgc_sc.py
+++ b/in/scripts/gen_tgc_sc.py
@@ -84,9 +84,9 @@ formula = "EF( proc0.in )"
 out += PROPERTY_STR.format("f1",formula)
 
 # f2
-formula = "EF( proc0.in )"
+formula = "EF( E<proc0.allowed>X( proc0.in ) )"
 for i in range(1, n):
-    formula += " AND EF( proc{:d}.in )".format(i)
+    formula += " AND EF( E<proc{:d}.allowed>X( proc{:d}.in ) )".format(i, i)
 out += PROPERTY_STR.format("f2",formula)
 
 # f3