modified:   lexer.py added the global function verifier
	has several helper functions to complete the task
	modified:   lexer.py fixed some indent problems