reduce None checks based on control flow analysis
|Reported by:||scoder||Owned by:||scoder|
In many cases, Cython currently generates None checking code (e.g. for optimised builtin method access), even when it is clear from the assignments (e.g. literals) in the previous control flow that the value can never be None. These redundant checks should be removed.