test-models/symres_func_nested_def/symres_func_nested_def.dzn:5:22: error
    void f() { void g() {} }
                     ^
                     `;' expected
