added hackerrank_Correctness_Invariant.py