Verification monitor constructor fixed