Gravar-mail: Formalizing Single-Assignment Program Verification: An Adaptation-Complete Approach