abstract creation of taint results so NodeAnalyser can be reused for functions
fixed bug in TaintEnvironment merging
added new test for if-else
fixed merging of taint environments
return Annotation::UNASSIGNED if taint result is not found in current environment
fixed statement taint annotation combining
fixed annotation for if-else