java -jar /Users/christina/attestor/LTLParser/sablecc.jar ltl.sable