codes to read text files containing boolean formulae for traffic rules sent by
Ashish. Codes for using the traffic rules generated thus.