feat(tools/simple-bmc): add not to parser & lexer