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.
context is probably the most prominent Xreate feature depended of CFA.