The first code screenshot is the correct code with no modifications. The 2nd is the first mutated version, and 3rd is the second mutated version.

Formulate the reachability, necessity, and propagation constraint for these two mutated versions of the code and please explain how to determined it.

This problem is based on the given triangle package. It consists of 10 folders: correct, mutant1, mutant 2, ..., and mutant 9. TriangleSides.java in the correct" folder is the original correct version. The reportTriangle Type method in TriangleSides.java reports the type (EQUILATERAL, SCALENE, ISOSCELES and NOTRIANGLE) of a triangle, given the lengths of three integer sides a, b, and c. TriangleSides.java in each mutantX (X=1, ..., 9) folder is a variant (mutant) of the original version, where the report Triangle Type method is modified. The modifications are summarized below. mutant 1 2 3 4 5 Mutated version if (b