Add rule to Formation.is_legal
Add newlines to EOF