Put auxiliary functions used by RV2COE into FLET form