solved IID-related scalability problems; inconsistent type analysis runs on benchmarks now