test that inferring the function pointer type for a C function is enabled in safe type inference mode

fix ticket #644: infer type of C-API optimised methods of builtin types as Python object instead of C function

Debugger: Detect whether the scope object and cell and free variables have been initialized for closures