-titleFont      String          "Times-Roman"
-titleScale     Int             10
-titleColor     String          "black"
-ntFont      	String		"Times-Roman"
-ntScale     	Int		10
-ntColor	String		"black"
-ntBg           String          "white"
-ntBoxColor     String          "black"
-tFont       	String		"Times-Roman"
-tScale      	Int		10
-tColor		String		"black"
-tBg            String          "white"
-tBoxColor      String          "black"
-lineColor	String		"black"
-borderDistX 	Int		500
-borderDistY 	Int		500
-lineWidth   	Int		30
-fatLineWidth	Int		100
-arrowSize   	Int		200
-rgbFileName	String		"rgb.txt"
-happy		Bool		False
-yacc           Bool            False
+simplify	Bool		False
+unfold         Bool            False
+ps          	Bool		True
+fig         	Bool		False
+ebnf           Bool            False
-help        	Bool		False
-verbose	Bool		False
