Which of the following is a valid precondition that establishes the corresponding
post condition using Hoare Logic for the statement i = i+1 ; k = a +2 [i >-1]

Which of the following is a valid precondition that establishes the corresponding
post condition using Hoare Logic for the statement i = i+1 ; k = a +2 [i >-1]