string file_name(ob)
object ob;

Get the file name of an object. If the object is a cloned object, then
it will not have any corresponding file name, but rather a new name
based on the original file name.

Example: "find_object(file_name(ob)) == ob" is guaranteed to be true for
all objects 'ob'.
