Cosmetic tidying in NetKAT compiler