Program Verification of a toy language