Run optimization passes until convergence. Ensure uniqueness of statements and expressions before each pass. Improve performance of some passes. Add E1_Lookup (unused for now).