L4 to L3 compilation step: integrate program library models to a
self-contained model (with some exceptions, like origins and
instructions)
VariableParameterKind in EModel
variableKind
Versions
L3ToL2 continued