Move fireability option

Author: nicolasAmat

smpt/smpt.py

@@ -90,6 +90,10 @@ def main():
                                   type=str,
                                   help='path to reachability formulas (.xml format)')
 
+    parser.add_argument('--fireability',
+                        action='store_true',
+                        help="Reachability Fireability mode (Cardinality by default)")
+
     group_properties.add_argument('--ltl-file',
                                   action='store',
                                   dest='path_ltl_formula',
@@ -228,10 +232,6 @@ def main():
                         action='store_true',
                         help="Model Checking Contest mode")
 
-    parser.add_argument('--fireability',
-                        action='store_true',
-                        help="Reachability Fireability mode (Cardinality by default)")
-
     results = parser.parse_args()
 
     print("# Hello")