PR #16 had an conversion about checking user-defined namespace for sanity. We decide to postpone this check as it requires some research. Related to #15.
