-- Verify tipus:logout on pg begin; select has_function_privilege('tipus.logout()', 'execute'); rollback;