To really have if and while to extend to the right as far as possible,
one needs to change the pretty printer, too.