Yes! You're right!

I've been having issue with pyrometer and it's a sort of "symbolic execution lite" so I wasn't sure where to stick it in here... But yes, I'm loving the progress I've been seeing on that tool.