Adding SemanticAnalyzer interface and renaming old SA into SAImpl.