Preventing SC from being reordered with its paired LR

[JonasOberhauser]

The intention (if not the wording) of the A-extension was for an LR to be visible before its paired SC.
This behavior has been lost in the current memory model.
I suggest adding it back with the following rule:

\newcommand{\ppopair}{$a$ and $b$ are paired}