Make script_type.push_operation() parameter constant reference.