==CFA: Control Flow Analisys==

CFA expresses program control flow graph. Number of language aspects depends on knowledge of caller/callee relation between various parts of program.
[[Concepts/context]] is probably the  most prominent Xreate feature  depended of CFA.