A better factoring of Rat.perl.