definition module VerifiedTest