mv precedence def inside LTLParser class
mv precedence def inside LTLParser class

to tidy things up, cf. pycparser.c_parser.CParser
necozay/tulip-control,tulip-control/tulip-control,tulip-control/tulip-control,tulip-control/tulip-control,necozay/tulip-control,necozay/tulip-control,necozay/tulip-control,tulip-control/tulip-control,necozay/tulip-control