Files @ 8ae142310cc7
Branch filter:

Location: CSY/reowolf/testdata/parser/counterexamples/empty_file_reporting.pdl - annotation

MH
Add some tests before refactoring variable resolving
// This seems silly, but should be more neatly reported
#version 1