User blog comment:Ecl1psed276/BM2 Analysis - A Summary/@comment-25337554-20180707092442/@comment-30754445-20180707184615

Maybe...

I recommend caution, given that everyone including myself was "sure" about the pair-sequences of BM1, until someone (can't remember who) dropped the bombshell that there's a BM1 standard expression that falls into an infinite loop just a little after the BHO.

If this could happen once, it could certainly happen again.

I can tell you, however, that I've made a very very thorough analysis of BM1 up to the BHO (I've actually spend many hours on this, scribbling in a notebook and proceeding very carefully) and I couldn't find any problems. Perhaps I've overlooked something, but I highly doubt it.

Unfortunately, this doesn't tell us anything about BM2 (which I've never understood the rules for, because - unlike BM1 - they were never explained in a straightforward manner).