Prove using the Hoare triples for the following code snippet: int c; // .... s some code .... if (c < 0||c > 15){ c=0; } // assert 0<=c<=15