liquidhaskell-0.7.0.0: liquid-fixpoint/tests/pos/cut-keyword.fq

cut $k__151
constant Prop : (func(0, [GHC.Types.Bool; bool]))