Tested require_set on verification, code coverage enabled