better type inference support for reversed()

Cython/Compiler/TypeInference.py

@@ -68,6 +68,10 @@ class MarkAssignments(CythonTransform):
         # TODO: Remove redundancy with range optimization...
         is_special = False
         sequence = node.iterator.sequence
+        if isinstance(sequence, ExprNodes.SimpleCallNode):
+            function = sequence.function
+            if function.name == 'reversed' and len(sequence.args) == 1:
+                sequence = sequence.args[0]
         if isinstance(sequence, ExprNodes.SimpleCallNode):
             function = sequence.function
             if sequence.self is None and function.is_name:
@@ -82,8 +86,6 @@ class MarkAssignments(CythonTransform):
                                                  '+',
                                                  sequence.args[0],
                                                  sequence.args[2]))
-                elif function.name == 'reversed' and len(sequence.args) == 1:
-                    sequence = sequence.args[0]
 
         if not is_special:
             # A for-loop basically translates to subsequent calls to