ouch, the bug in function_call to sdfg is a fake bug