Added support for empty rules.
Merge pull request #329 from kframework/empty-rule-fix

Added support for empty rules.
lgtm