[taint-analysis] Additions/adaptions for first eval

[MaxAtoms]

We will need to adapt the taint analysis to gain further insights for the evaluation.
For example, we often we were able to taint a function and how often function mappings failed.