How not to never need more than three bullets

[thomas-lamiaux]

A how-to guide explaining how to keep the code, and never to need more than three bullets

[thomas-lamiaux]

Ideas:

• use intros patterns
• chaining tactics
• apply by, assert by etc...
• use automation now / done,

[thomas-lamiaux]

See https://github.com/runtimeverification/vlsm/blob/master/CODING_CONVENTIONS.md#use-bullets-and-brackets for examples and pointers