some manual tweaks on generated OptiML, everything compiles