Translation from Lustre
WIP