This was a very helpful explanation of why dialyzer yells at me sometimes and I can't figure out why. Is it possible to analyze a particular function with `underspecs` or `overspecs` without affecting the rest of the code?