python: replace op_index() with op_find(), which straightly returns the desired operand rather than its cumbersome index
2 files changed