Handler for CastTarget-Node was missing
Removed warning message
Starting symbol is part of taint results now
Tainting and normalization is performed in a single step now