Infix primitive optimisations section is translated.