1. Add detailed log messages on verification events.
2. rename macro CALL to Method