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