WordNot is located in:
m3front/derived/WordNot.m3
m3front/src/builtinWord/WordNot.m3