Reverse Engineering and Interactive Animation of Ada Programs