Some progress on assertion verifier.