1) added another test case
2) re-enabled one testcase that used to take forever, but now works
3) purging postdominators where we don't need them
4) removed dead code
5) added some assertions to detect spurious abstractions
6) fixed a wrong condition for taint activation