Symbolic execution is not able to proceed if the number of iterations in the loop is known.

• A. True
• B. False