Minor simplification to the compilation of `abolish/1` calls and messages