liquidhaskell-0.4.0.0: tests/crash/CyclicPredAlias1.hs

module Test1 () where

{-@ predicate CyclicB1 Q = CyclicB2 Q @-}
{-@ predicate CyclicB2 Q = CyclicB1 Q @-}