An interpreter of Lustre programs based on SMT solvers