Read example database from database.ini
 Changes to be committed:
	modified:   nixtla/core/tools/database_parser.py
	modified:   nixtla/core/tools/model/rules.py
	modified:   nixtla/verification/simple_method/adapters.py
	modified:   nixtla/verification/simple_method/implementation.py