Add real-global-auto-complete-mode
For why3