Ensured executability of .sh scripts in caseAnalyzer, modified TODO, added some labelings to final set of test cases.