Add ecli:opt/3