valid?: false
problems:
- 'line 3, columns 1 to 31: duplicate record declaration: Succ[prev].'
- 'line 5, columns 1 to 30: duplicate record declaration: Add[a, c].'
- 'line 7, columns 19 to 20: record has extra, undeclared properties: b'
- 'line 7, columns 19 to 20: duplicate property: b'
- 'line 8, columns 1 to 19: incomplete record: missing a'
- 'line 8, columns 8 to 13: undeclared record type: Zeroo'
- 'line 8, columns 17 to 18: record has extra, undeclared properties: c'
- 'line 8, columns 21 to 22: nonexistent path: key not in record: a'
- 'line 9, columns 1 to 10: incomplete record: missing a'
- 'line 9, columns 8 to 9: record has extra, undeclared properties: b'
- 'line 9, columns 8 to 9: duplicate property: b'
- 'line 9, columns 12 to 13: nonexistent path: key not in record: c'
- 'line 10, columns 1 to 6: incomplete record: missing a, b'
- 'line 10, columns 8 to 11: undeclared record type: App'
- 'line 11, columns 12 to 44: incomplete record: missing b'
- 'line 12, columns 1 to 22: incomplete record: missing b'
- 'line 12, columns 20 to 21: record has extra, undeclared properties: c'
- 'line 12, columns 33 to 37: nonexistent path: head not in input: Succ'
- 'line 12, columns 62 to 63: nonexistent path: key not in record: b'
- 'line 15, columns 11 to 15: record has extra, undeclared properties: prev'
- 'line 15, columns 22 to 26: record has extra, undeclared properties: prev'
- 'line 15, columns 33 to 37: record has extra, undeclared properties: prev'
- 'line 15, columns 39 to 45: incomplete record: missing prev'
- 'line 16, columns 11 to 15: record has extra, undeclared properties: prev'
- 'line 16, columns 22 to 26: record has extra, undeclared properties: prev'
- 'line 16, columns 28 to 34: incomplete record: missing prev'