הצעת חוק: הצעת חוק-יסוד: מבקר המדינה (תיקון - יציאה לקצבה), התשמ"ח-1988