Commit 9fc45f70ad42b87072ced65b8c58b87af005f265

Behdad Esfahbod 2023-10-05T14:06:39

[ReverseChainSingleSubst] Minor optimization