isEvaldUnfolding :: Unfolding -> Bool
        -- Returns True for OtherCon
isEvaldUnfolding (OtherCon _)                               = True
isEvaldUnfolding :: Unfolding -> Bool
isEvaldUnfolding (OtherCon _)                               = True
isEvaldUnfolding (OtherCon _)                               = True