failing spec for EmptyLineBetweenDefs

Currently, EmptyLineBetweenDefs rejects adjacent one-liner defs, which I believe are acceptable (but please correct me if I'm mistaken). This PR adds a failing test case.