i've been feeding the grammar stuff generated by test.check's generators. it has managed to identify some things -- though it is a bit unclear whether the generators are correct due to the vagueness of what is supposed to be allowed.