SymbolTable building, Analyzer checks for formals