move_stack and kind_of
more correct data flow analysis