pJustIterIf :: CompIfPred -> Maybe QCompIter -> Bool
pJustIterIf ifp (Just (IterIf if_ _)) = ifp if_
pJustIterIf :: CompIfPred -> Maybe QCompIter -> Bool
pJustIterIf ifp (Just (IterIf if_ _)) = ifp if_
pJustIterIf ifp (Just (IterIf if_ _)) = ifp if_