[FEATURE]: If a code computes a value dynamically, do value inference, at least at the state of linting

[nfx]

Is there an existing issue for this?

• [X] I have searched the existing issues

Problem statement

If arguments to the relevant functions are string literals, resolve them and perform linting:

• https://github.com/databrickslabs/ucx/issues/1133
• https://github.com/databrickslabs/ucx/issues/1124
• https://github.com/databrickslabs/ucx/issues/1118
• https://github.com/databrickslabs/ucx/issues/1109
• https://github.com/databrickslabs/ucx/issues/1104
• https://github.com/databrickslabs/ucx/issues/1103
• https://github.com/databrickslabs/ucx/issues/1082
• https://github.com/databrickslabs/ucx/issues/392
• https://github.com/databrickslabs/ucx/issues/1085
• https://github.com/databrickslabs/ucx/issues/492
• https://github.com/databrickslabs/ucx/issues/391
• https://github.com/databrickslabs/ucx/issues/315
• https://github.com/databrickslabs/ucx/issues/310

e.g. in cases like:

db = 'foo'
t = f'{db}.bar'
display(spark.table(t))

we have to check if foo.bar table is migrated.

Proposed Solution

infer values from the available scope.

Additional Context

No response