added namespace tests + check inconsistency in both resolver and system namespace when a module is found