Spec: check global constraints
-> test: file.c line 35