could be useful for a finer variable elimination scheme at the Lustre level.
 to be continued...