sv_verifier.py cleaned up with isdict