Very minor tweak to the emacs mode to include "assume" statements.