Made changes to post conditions 5a,5b -Harsha