sameNameInScope::PName         -- ^ The identifier
                 ->InScopes    -- ^ The inscope relation
                 ->Bool        -- ^ The result
sameNameInScope pn inScopeRel = isJust $ find (\ (name, nameSpace, modName, _)-> name == pNtoName pn 
                                                && hasModName pn /= Just modName ) $ inScopeInfo inScopeRel
sameNameInScope::PName         -- ^ The identifier
                 ->InScopes    -- ^ The inscope relation
                 ->Bool
sameNameInScope pn inScopeRel = isJust $ find (\ (name, nameSpace, modName, _)-> name == pNtoName pn 
                                                && hasModName pn /= Just modName ) $ inScopeInfo inScopeRel
sameNameInScope pn inScopeRel = isJust $ find (\ (name, nameSpace, modName, _)-> name == pNtoName pn 
                                                && hasModName pn /= Just modName ) $ inScopeInfo inScopeRel