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