Implements parser.
Implements analyzer.