Wrote up pseudocode describing LoopChecker class
Improved complexity description and comments