Finished implementation. Now to analyze programs.