Added test-code for a case that to-be-developed 'taintedArgs' should not detect.
Positive example.
Introduced check for positive taint example.
Added missing null-ptr check in argument-tainter.
Have argumentTainter taint 'x' and '* x'

If the called 'function' is actually a macro, it might taint 'x'.