constraint matching for function calls with a key
-> test: file.c up to line 27 ok