[NFC] Rename variable MaxBECount -> ConstantMaxBECount
Just to distinguish it from symbolic max which we plan to compute here as well.
Loading
Please sign in to comment
Just to distinguish it from symbolic max which we plan to compute here as well.