Some cleaning to database parser
	modified:   core/tools/database_parser.py
	modified:   verification/simple_method/adapters.py
	modified:   verification/simple_method/implementation.py