diff --git a/ChangeLog.md b/ChangeLog.md
--- a/ChangeLog.md
+++ b/ChangeLog.md
@@ -76,3 +76,8 @@
 
 * Fifth version revised A. Fixed issue with the incorrectly working imported dependency function uniquenessVariants2GNP that influenced all the related
 functionality.
+
+## 0.5.2.0 -- 2020-10-30
+
+* Fifth version revised B. Fixed inlining policies so that ghc -dcore-lint produces now no warnings. Some minor code improvements.
+
diff --git a/Languages/UniquenessPeriods/Vector/General/Debug.hs b/Languages/UniquenessPeriods/Vector/General/Debug.hs
--- a/Languages/UniquenessPeriods/Vector/General/Debug.hs
+++ b/Languages/UniquenessPeriods/Vector/General/Debug.hs
@@ -62,7 +62,7 @@
        vK = V.filter (\(_,vN2,_) -> V.unsafeIndex vN2 (k - 1) == V.unsafeIndex (secondFrom3 maxK) (k - 1)) . snd . get22 $ y in
          maximumElBy (k - 1) (V.unsafeSlice 0 (k - 1) vN) (UL2 (fst . get22 $ y,vK))
  | otherwise = V.maximumBy (\(_,vN0,_) (_,vN1,_) -> compare (V.unsafeIndex vN0 0) (V.unsafeIndex vN1 0)) . snd . get22 $ y
-{-# INLINE maximumElBy #-}
+{-# INLINABLE maximumElBy #-}
 
 -- | Prints every 'String' from the list on the new line to the file. Uses 'appendFile' function inside.
 toFile ::
@@ -89,7 +89,7 @@
         _ -> mapM_ putStrLn [show . lastFrom3 $ uni, show . firstFrom3 $ uni, show. secondFrom3 $ uni]  -- the most verbose output
   | otherwise =
       case (\(I2 x) -> x) info of
-        Af xs -> putStr "" -- nothing is printed
+        Af _ -> putStr "" -- nothing is printed
         Bf xs -> toFile xs [show . lastFrom3 $ uni]
         Cf xs -> toFile xs [show . firstFrom3 $ uni]
         Df xs -> toFile xs [show . secondFrom3 $ uni]
@@ -116,7 +116,7 @@
         _ -> (putStrLn . show . lastFrom3 $ y) >> (putStrLn . show . firstFrom3 $ y) >> (putStrLn . show. secondFrom3 $ y) >> printUniquenessG1List info ys  -- the most verbose output
   | otherwise =
       case (\(I2 x) -> x) info of
-        Af xs -> putStr "" -- nothing is printed
+        Af _ -> putStr "" -- nothing is printed
         Bf xs -> toFile xs . map (show . lastFrom3) $ (y:ys)
         Cf xs -> toFile xs . map (show . firstFrom3) $ (y:ys)
         Df xs -> toFile xs . map (show . secondFrom3) $ (y:ys)
@@ -124,7 +124,7 @@
         Ff xs -> toFile xs . map (\t -> (show (lastFrom3 t) ++ newLineEnding ++ show (secondFrom3 t))) $ ys
         Gf xs -> toFile xs . map (\t -> (show (firstFrom3 t) ++ newLineEnding ++ show (secondFrom3 t))) $ ys
         ~(Hf xs) -> toFile xs . map (\t -> (show (lastFrom3 t) ++ newLineEnding ++ show (firstFrom3 t) ++ newLineEnding ++ show (secondFrom3 t))) $ ys  -- the most verbose output
-printUniquenessG1List info [] = return ()
+printUniquenessG1List _ [] = return ()
 
 -- | A variant of the 'printUniquenessG1List' where @a@ is 'Char' so that the inner third arguments in the triples are 'String's.
 printUniquenessG1ListStr
@@ -144,7 +144,7 @@
         _ -> (putStrLn . lastFrom3 $ y) >> (putStrLn . show . firstFrom3 $ y) >> (putStrLn . show. secondFrom3 $ y) >> printUniquenessG1ListStr info ys  -- the most verbose output
   | otherwise =
       case (\(I2 x) -> x) info of
-        Af xs -> putStr "" -- nothing is printed
+        Af _ -> putStr "" -- nothing is printed
         Bf xs -> toFile xs . map lastFrom3 $ (y:ys)
         Cf xs -> toFile xs . map (show . firstFrom3) $ (y:ys)
         Df xs -> toFile xs . map (show . secondFrom3) $ (y:ys)
@@ -152,7 +152,7 @@
         Ff xs -> toFile xs . map (\t -> (lastFrom3 t ++ newLineEnding ++ show (secondFrom3 t))) $ ys
         Gf xs -> toFile xs . map (\t -> (show (firstFrom3 t) ++ newLineEnding ++ show (secondFrom3 t))) $ ys
         ~(Hf xs) -> toFile xs . map (\t -> (lastFrom3 t ++ newLineEnding ++ show (firstFrom3 t) ++ newLineEnding ++ show (secondFrom3 t))) $ ys  -- the most verbose output
-printUniquenessG1ListStr info [] = return ()
+printUniquenessG1ListStr _ [] = return ()
 
 -- | Auxiliary printing function to define the line ending needed to be printed by 'printUniquenessG1List' function in some cases.
 newLineEnding :: String
@@ -245,7 +245,7 @@
 uniqNPropertiesN n k vN y
  | n <= 0 = y
  | otherwise = uniqNPropertiesN (n - 1) k vN . maximumElByVec k vN $ y
-{-# INLINE uniqNPropertiesN #-}
+{-# INLINABLE uniqNPropertiesN #-}
 
 -- | A variant of the 'uniqNPropertiesN' where all the given \"properties\" are used.
 uniqNPropertiesNAll ::
diff --git a/uniqueness-periods-vector-general.cabal b/uniqueness-periods-vector-general.cabal
--- a/uniqueness-periods-vector-general.cabal
+++ b/uniqueness-periods-vector-general.cabal
@@ -2,7 +2,7 @@
 --   For further documentation, see http://haskell.org/cabal/users-guide/
 
 name:                uniqueness-periods-vector-general
-version:             0.5.1.0
+version:             0.5.2.0
 synopsis:            Some kind of the optimization approach to data inner structure.
 description:         Generalization of the functionality of the dobutokO-poetry-general-languages package
 homepage:            https://hackage.haskell.org/package/uniqueness-periods-vector-general