string Function.defined(function fun)
Returns a string with filename and linenumber where fun was defined.
Returns 0 (zero) for builtin functions and functions in destructed objects.