Closes #44, adds Interpreter.CaseAnalysis module, analyzeCase