TP 2 : A Compiler for mini-Lustre 1 Code Generation