Small performance improvement on cpython
minor formatting
Remove optimistic variable propagation since it didn't lead to benefits in practice