liquid-fixpoint-0.4.0.0: tests/pos/cut-keyword.fq

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