compIfToPred :: Traversal' QExpr QCompIf -> QCompIf -> State RuleState CompIfPred
compIfToPred path (CompIf if_ iter _) = do
    ifp <- exprToPred (path.comp_ifL) if_
    iterp <- compIterToPred (path.comp_if_iterL) iter
    return $ pCompIf ifp iterp
compIfToPred :: Traversal' QExpr QCompIf -> QCompIf -> State RuleState CompIfPred
compIfToPred path (CompIf if_ iter _) = do
    ifp <- exprToPred (path.comp_ifL) if_
    iterp <- compIterToPred (path.comp_if_iterL) iter
    return $ pCompIf ifp iterp
compIfToPred path (CompIf if_ iter _) = do
    ifp <- exprToPred (path.comp_ifL) if_
    iterp <- compIterToPred (path.comp_if_iterL) iter
    return $ pCompIf ifp iterp