#K-9 Update K Framework and check latex output. Added <br>-s where we expect line breaks inside rules. Designed to work with https://github.com/kframework/k/pull/434.