/.Inv17.java._trace
/.Inv20.java._trace
/.Inv33_con.java._trace
/.Inv34.java._trace
/.Inv35.java._trace
/.Inv47.java._trace
/.Inv48.java._trace
/.Inv48_helper.java._trace
/.Case_study_A.java._trace
/.Inv49.java._trace
/.Inv49_con.java._trace
/.Inv49_helper.java._trace
/.H_inv49.java._trace
/.Ocl_inv49.java._trace
/.Vql_inv49.java._trace
/.Vql_inv492.java._trace
/.H1_inv48.java._trace
/.H2_inv48.java._trace
/.Vql_inv48.java._trace
/.H3_inv48.java._trace
/.H1_inv49.java._trace
/.H2_inv49.java._trace
/.H_inv47.java._trace
/.Inv35test.java._trace
/.Inv33.java._trace
/.X.java._trace
/.H_inv16_moreThan1.java._trace
/.H_inv48_1.java._trace
/.H_inv48_2.java._trace
/.H_inv48_3.java._trace
/.H_inv49_1.java._trace
/.H_inv49_2.java._trace
/.Inv16.java._trace
/.Inv15.java._trace
/.H_inv13.java._trace
/.Inv13.java._trace
/.Inv12.java._trace
/.H_inv12_notNonRes.java._trace
/.H_inv12_notZZ.java._trace
/.H_inv11_incOver100.java._trace
/.Inv11.java._trace
/.H_inv11_incNotOver100.java._trace
/.H_inv8_notEI.java._trace
/.Inv8.java._trace
/.H_inv08_notEI.java._trace
/.Inv08.java._trace
/.H_inv08_inRange.java._trace
/.X_inv08_inRange.java._trace
/.X_inv08_notEI.java._trace
/.X_inv11_incNotOver100.java._trace
/.X_inv11_incOver100.java._trace
/.X_inv12_notNonRes.java._trace
/.X_inv12_notZZ.java._trace
/.X_inv13.java._trace
/.X_inv47.java._trace
/.X_inv48_1.java._trace
/.X_inv48_2.java._trace
/.X_inv48_3.java._trace
/.X_inv49_1.java._trace
/.X_inv49_2.java._trace
/.X_inv48_Dis.java._trace
/.X_inv48_notDis.java._trace
/.X_inv08_noType.java._trace
/.X_inv08_invalidType.java._trace
/.Inv06.java._trace
/.X_inv06_inRange.java._trace
/.Inv05.java._trace
/.X_inv05_inRange.java._trace
/.Inv03.java._trace
/.X_inv03_noAll.java._trace
/.X_inv03_eligAll.java._trace
/.X_inv03_hasAll.java._trace
/.Inv07.java._trace
/.Inv10.java._trace
/.X_inv15.java._trace
/Inv03.java
/Inv05.java
/Inv06.java
/X_inv03_eligAll.java
/X_inv03_hasAll.java
/X_inv05_inRange.java
/Case_study_A.java
/Inv07.java
/Inv08.java
/Inv10.java
/Inv11.java
/Inv12.java
/Inv13.java
/Inv15.java
/Inv17.java
/Inv20.java
/Inv33.java
/Inv34.java
/Inv35.java
/Inv47.java
/Inv48.java
/Inv49.java
/X_inv08_inRange.java
/X_inv08_noType.java
/X_inv08_notEI.java
/X_inv11_incNotOver100.java
/X_inv11_incOver100.java
/X_inv12_notNonRes.java
/X_inv12_notZZ.java
/X_inv13.java
/X_inv15.java
/X_inv47.java
/X_inv48_3.java
/X_inv48_Dis.java
/X_inv48_notDis.java
/X_inv49_1.java
/X_inv49_2.java
/.FamilyTreeConstraints.java._trace
/.MemberHasParent.java._trace
/.MemberIsItsOwnParent.java._trace
/.NegativeAge.java._trace
/.ParentTooYoung.java._trace
/.TwoMembersHaveNoParent.java._trace
/.Case_study_short.java._trace
/.X_inv48.java._trace