Formarl spec updated