The post condition is that the current amount of cash in the user account is the amount before withdraw minus withdraw amount.
Post condition என்னவென்றால் தற்போதைய தொகை என்பது திரும்பப் பெறுவதற்கு முன்தைய தொகை கழித்தல் திரும்ப பெறப்படும் தொகை ஆகும்.