This has been commented out for a long while, removing
Cleaning up dominator picking in pickBranchLit
Fixing VERBOSE_DEBUG_RECONSTRUCT
Optimizing memory-allocation a bit (it's still quite bad)
Fixing VERBOSE_DEBUG_RECONSTRUCT
Cleaning up for loop
Only adding each bin&tri once
Addding comments to clear up previous commit
Reachability can only be calculated when cache is turned on
Cleaning up for loop
Fixing solution reconstruction
Merge branch 'error'