Procedural Axiomatization in Program Verification