fixed in semantic.cc - error message in AST_NOT