allow specialization of source name map generation
propagate source names in prototype lookups
find arguments array vns
trivial final modifier
ignore debugger token
use new timeout mechanism
more tests
new timeout mechanism
new timeout mechanism
new timeout mechanism
pointer analysis simulation for field-based CGs
allow filtering to express subtypes
type generalization for mutable mappings
flow graph handles some flow through the arguments array.  also a fake
'pointer analysis' is constructed using the flow graph.
use java functionality to handle urls
final class
adaot to type generalization
type generalization
new progress monitor functionality to handle memory limitation