Error when hiding certain functions

[José E. Solsona]

Hello!. The following code:

{-@ LIQUID "--reflection" @-}

module Test where

import Prelude hiding ((.))

-- whatever

fails with:

Fixpoint.Types.dummyLoc:1:1: error:
    * Unknown variable `GHC.Base..`
    wiredAxioms
    * 

This only happens for certain functions, like (.), and only when using --reflection.
What is the meaning of this error?