More precisely: I want to use a WITH clause in a stored procedure's "SELECT ... INTO :variable FROM..." statement.
DECLARE violatedRowsCount INTEGER;
SELECT COUNT(*) INTO :violatedRowsCount
FROM ( <_here_> ) AS TBL;
Is it possible? If yes, how?