libLookupNeg :: [Library] -> String -> String -> [Clause]