pldet list_even_union_tree3plus2.model.pl \
  | auto2pl - >list_even_union_tree3plus2_d.pl
