Add external verifier for simple map