Introduced global facts
Facts hierarchy: command-line, globals-in-use. Minor names adjustements
Global fact hierarchy
Activity id -> activity name
Unification: RequestLifecycleChangePermitted
Unification: upstream/downstream aliases
Reason: Copy results from activity in RLCMain+ALCPrepareStatus, not in
RLCPrepareStatus+ALCCompleted
Rules rearrangement (among different files)
UpstreamAliasRSK
Default activity and request statuses