discovered a brittleness around boolstruct indentation parsing

[mengwong]

despite numerous tests in the README, while working on the 415 Cheating tab, I encountered one or two scenarios where the indentation constraints around PrePost labels for BoolStructs were stricter than they needed to be, leading to parse errors.

I will try to isolate and follow up with more detail on a reproduction.

Placeholder for now.

[mengwong]

experiment on forms like

xxx    yyy1
 OR   yyy2
zzz


xxx         yyy1
        OR yyy2
zzz


        xxx         yyy1
        OR yyy2
zzz

[ym-han]

@mengwong I would use property-based testing to tackle indentation issues, instead of unit tests. There are usually properties regarding indentation that are not hard to come up with; or at least, it was not hard for me to think of properties I could test the indentation part of the L4 -> LE transpiler with. I can help you with this when we have more time, after the usecase, if you'd like.