[LDR] Initial verifier implementation