Beginning refactoring of SemanticChecker for QL
SemanticChecker refactoring pt 2