Added command line flags
Got pointer analysis tests working again
Got array bound checking and conversion to pointers working