added an option to use a flow insensitive aliasing algorithm
replaced lists with sets, reduced number of queued abstractions in path reconstruction phase 2