Disable `T1302b.hs` in `ple-pos` (originally disabled)
Disable `T1302b.hs` in `ple-pos` (originally disabled)

ucsd-progsys/liquidhaskell,ucsd-progsys/liquidhaskell,ucsd-progsys/liquidhaskell,ucsd-progsys/liquidhaskell,ucsd-progsys/liquidhaskell,ucsd-progsys/liquidhaskell