kframework/k — pull request #329 by mdmkolbe (2014-04-01 16:15:45+00:00)
Title: Added support for empty rules.

Fixes bug #324 be allowing empty bubbles.