Verifier Patch

Verifier now locates the right modules and ignores any externally realized realizations