added exception data support: Tainted data can now be propagated along throw/catch constructs
added tests for StringBuilder.insert