MARSAL Program Verification Request