The following files are downloaded from
	https://github.com/julianthome/smtlibv2-grammar/blob/master/src/main/resources/SMTLIBv2.g4

1. SMTLIBv2.g4
