sl/adt_op_def: fix the template of push_back [not tested]