Question 1 12.5 pts Check all that apply. A loop invariant property is O a (true) logical assertion about variables related to the loop O A set a variables that do not change throughout a loop a true boolean statement about variables related to a loop A set of statements in the loop that are always executed property that variables related to a loop satisfy O