/Tests/MODELS2020-CaseStudies/case.study.pledge.run/src-gen/queries/
../
.gitignore
Case_study_short.java
FamilyTreeConstraints.java
MemberHasParent.java
MemberIsItsOwnParent.java
NegativeAge.java
ParentTooYoung.java
TwoMembersHaveNoParent.java
X_inv48.java