MiniAgda-0.2014.1.9: test/fail/InvalidField.ma

data D : Set { c : D } fields f