ensure taint object, add some unittests for taint
basic, conservative, support for if/else statements
only lookup a name node when it is being read
handle for loops
conservative support for dictionaries with constant and dynamic key indices