errors detected by twelf2py
script to generate printable dot rules