implemented flow-insensitive check for Collections.unmodifiable() (overapproximation of dynamic check). also added some support for running dacapo benchmarks