/.Case_study_A.java._trace
/.Inv25.java._trace
/.Mother.java._trace