Call-graph construction algorithm. Canonical set mirrors stig-code-analyzer's --call-graph-mode CLI validator.
OTF — on-the-fly (built incrementally during the solver run).
RTA — rapid type analysis.
CHA — class hierarchy analysis.
VTA — variable type analysis.