Added requires and ensures as keywords in emacs mode.