Succinctly, in one very short sentence, in terms of a, b and c, what does the following code do (i.e., assert what holds at entry and exit)? if (a