some refactoring before implementation of print/echo/exit checks
more refactoring within the vulnerability checkers
implementation of print/echo/exit checks at the node level
use an object to store the function call and its arguments taint results
some renaming
done print/echo/exit check implementations