130   std::vector< int > emptyL;  in normalize_tr()  local
132   t1->getL( emptyL, emptyLUsed );  in normalize_tr()
163 …t1 = new TReturn( LFSCClausify::Make( e, t1->getLFSCProof() ), emptyL, emptyLUsed, nullRat, false,…  in normalize_tr()
170             t1 = new TReturn( LFSCLraPoly::Make( e, t1->getLFSCProof() ), emptyL, emptyLUsed,  in normalize_tr()
187                             emptyL, emptyLUsed, nullRat, false, 0 );  in normalize_tr()
202                                 emptyL, emptyLUsed, nullRat, false, 0 );  in normalize_tr()
211                                 emptyL, emptyLUsed, nullRat, false, 0 );  in normalize_tr()
215               TReturn* torg = new TReturn( LFSCPfVar::Make( "@V", 0 ), emptyL, emptyLUsed,  in normalize_tr()
240 …    t1 = new TReturn( LFSCProofGeneric::Make( pfs, strs ), emptyL, emptyLUsed, nullRat, false, 0 );  in normalize_tr()
261           t1 = new TReturn( p.get(), emptyL, emptyLUsed, nullRat, false, 2 );  in normalize_tr()
283                                 emptyL, emptyLUsed, nullRat, false, 2 );  in normalize_tr()
299                                   emptyL, emptyLUsed, nullRat, false, 2 );  in normalize_tr()
308                                   emptyL, emptyLUsed, nullRat, false, 2 );  in normalize_tr()
337                 t1 = new TReturn( p.get(), emptyL, emptyLUsed, nullRat, false, 2 );  in normalize_tr()
384               t1 = new TReturn( p.get(), emptyL, emptyLUsed, nullRat, false, 2 );  in normalize_tr()
413   t1 = new TReturn( torig->getLFSCProof(), emptyL, emptyLUsed,  in normalize_tr()
431   std::vector< int > emptyL;  in normalize_to_tf()  local
433   t1->getL( emptyL, emptyLUsed );  in normalize_to_tf()
440     t1 = new TReturn( t1->getLFSCProof()->getChild( 0 ), emptyL, emptyLUsed, nullRat, false, y );  in normalize_to_tf()
473     t1 = new TReturn( p.get(), emptyL, emptyLUsed, nullRat, false, y );  in normalize_to_tf()