Make the layout rule more strict.
Make the layout rule more strict.

To be more in line with Haskell and to fix some strange
situations, we require every layout block to be indented
strictly more than the surrounding block.

ucsd-progsys/liquid-fixpoint