I would feel loads more comfortable if you didnt change this definition, or at least introduced a isNotPushData() that has identical semantics as the previous isOpCode and is used in the script execution engine in its place.