Bug fixed and MistakeFinder documentation.
I resolved an error that had occurred due to one of the import statements in the SemanticChecker class. I also added proper documentation to the functions in the MistakeFinder class. This should allow the program to run correctly with the new master branch after merging.