Hello everyone!

Suppose I have a following system: A0 * E{y(t+1)} = A1 * y(t) + A2 * y(t-1) + B * eps(t). How to implement a algorithm of separation of variables on predetermined and jump variables? How Dynare does this? Do I correctly understand that I can just define x(t) = y(t-1) as predetermined variables and y(t) as jump variables?

I am not sure I fully understand your question. Dynare has a timing convention. Whenever a variable appears with a (-1), it must be a predetermined variable. Details what Dynare does are in Villemot (2009): “Solving rational expectations models at first order: what Dynare does”, dynare.org/wp-repo/dynarewp002.pdf