Support for common BCL methods that do allocate

[controlflow]

Methods like String.Substring are often important to highlight.
We can introduce external annotations or hardcoded annotation provider for such APIs