public class Litil {
public static void main(String[] args) {
String filename = "/Users/jawher/Dropbox/coding/jaml/target/classes/litil/eval/s99.ltl";
boolean tc = true;
boolean ev = true;
AstNode node = null;
try {
node = parseFile(filename);
} catch (FileNotFoundException e) {
e.printStackTrace();
return;