compForToPred :: Traversal' QExpr QCompFor -> QCompFor -> State RuleState CompForPred
compForToPred path (CompFor fores ine iter _) = do
    foresp <- exprsToPred (path.comp_for_exprsL) fores
    inep <- exprToPred (path.comp_in_exprL) ine
    iterp <- compIterToPred (path.comp_for_iterL) iter
    return $ pCompFor foresp inep iterp
compForToPred :: Traversal' QExpr QCompFor -> QCompFor -> State RuleState CompForPred
compForToPred path (CompFor fores ine iter _) = do
    foresp <- exprsToPred (path.comp_for_exprsL) fores
    inep <- exprToPred (path.comp_in_exprL) ine
    iterp <- compIterToPred (path.comp_for_iterL) iter
    return $ pCompFor foresp inep iterp
compForToPred path (CompFor fores ine iter _) = do
    foresp <- exprsToPred (path.comp_for_exprsL) fores
    inep <- exprToPred (path.comp_in_exprL) ine
    iterp <- compIterToPred (path.comp_for_iterL) iter
    return $ pCompFor foresp inep iterp