Lustre Smatch Static Analysis