text: [kernel] Parsing tests/pdg/globals.c (with preprocessing)
  [eva] Analyzing a complete application starting at g
  [eva] Computing initial state
  [eva] Initial state computed
  [eva:initial-state] Values of globals at initialization
    X ∈ {3}
    S ∈ [--..--]
    P ∈ {{ &X }}
  [eva] computing for function f <- g.
    Called from tests/pdg/globals.c:15.
  [eva] Recording results for f
  [eva] Done for function f
  [eva] Recording results for g
  [eva] done for function g
  [eva] ====== VALUES COMPUTED ======
  [eva:final-states] Values at end of function f:
    
  [eva:final-states] Values at end of function g:
    
  [from] Computing for function f
  [from] Done for function f
  [from] Computing for function g
  [from] Done for function g
  [from] ====== DEPENDENCIES COMPUTED ======
    These dependencies hold at termination for the executions that terminate:
  [from] Function f:
    \result FROM X; p
  [from] Function g:
    \result FROM X
  [from] ====== END OF DEPENDENCIES ======
  [inout] Out (internal) for function f:
      tmp
  [inout] Inputs for function f:
      X
  [inout] Out (internal) for function g:
      tmp
  [inout] Inputs for function g:
      X
  