function isGlobalNamespace(program, namespace): namespace is Namespace & Object
Check if the given namespace is the global namespace
program
Program
namespace
Namespace
namespace is Namespace & Object