added module AdjectiveVerifier. Moved related methods into it