Hoare Logic Part 2 almost done

Signed-off-by: Satyender Yadav <satyenderyadav4993@gmail.com>