Update Sep_hoare.v