Encouraged from my success without loops in the loops sector, I immediately try to solve the sixth code fragment without loops. This mischief triggers a trap this time, which brings the symbolic execution engine to a grinding halt. Returning to the righteous path of loops, I manage to solve the […]